Thread:Extension talk:CopyToClipboard/Bug .$wgClippy/reply

I think both ways are correct. Anyways feel free to contribute. Do you have a gerrit account already?