Comment 4 for bug 1513665

I note for clipboard.js it says this on https://github.com/zenorocha/clipboard.js

"Although copy/cut operations with execCommand aren't supported on Safari yet (including mobile), it gracefully degrades because Selection is supported."

"That means you can show a tooltip saying Copied! when success event is called and Press Ctrl+C to copy when error event is called because the text is already selected."

As there is a normal Ctrl+C fallback option it sounds like we could use this going forward as it looks like ZeroClipboard is taking it's time sorting out an HTML5 option.