https://bugzilla.wikimedia.org/show_bug.cgi?id=47205
--- Comment #2 from Antoine hashar Musso has...@free.fr ---
That seems to be a gadget on the english wikipedia. The element has the id
'pt-mysandbox'. Searching the MediaWiki namespace gives me:
http://en.wikipedia.org/wiki/MediaWiki:Gadget-mySandbox.js
We could import that gadget to beta and then have it enabled on
https://en.wikipedia.org/wiki/MediaWiki:Gadgets-definition
Overall, we would need a way to sync the Gadgets automatically.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
___
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l