Last modified: 2012-04-16 09:16:03 UTC
Hello, I'm not sure this is the correct place to post it. If not, feel free to change it. I'd like you to add a new javascript global variable, like wgUserGroups or wgGlobalGroups. There is a list here (http://www.mediawiki.org/wiki/Manual:Interface/JavaScript). I'd like this global variable to contain the wiki-sets (i.e. "Global sysop wiki" or "Global bot wiki") the wiki belongs to. I need this change in order to write a JS tool that should make stewards' life easier by hiding (or changing the color of) the sysop buttons on non-GS wikis. Stewards should not make deletions (except emergencies) on non-GS-wikis, so they'll be able to know whether they can or not just by going on the page. Thanks a lot by advance.
Can we get another use case? Adding more global javascript variables for such a narrow purpose that benefits exactly 30 people in the entire world just doesn't seem worth it.
Yes, I understand that you don't want to do such a change for a minority. But your commentary has given me an idea : I can also use "wgDBname" variable and test if this variable belongs to a pre-defined array. The inconvenience is that the list should be changed everytime the GS wiki list changes. I'll do that so. Thanks nevertheless.
The script is now available if somebody is interested. See http://meta.wikimedia.org/wiki/User:Quentinv57/HideButtonsFromNonGsProjects.js