MediaWiki:Adminlist.js: Difference between revisions
Jump to navigation
Jump to search
Want an adless experience? Log in or Create an account.
(Created page.) |
(No difference)
|
Revision as of 00:46, October 19, 2011
// This script simply lists all the users with admin rights, for purposes of applying color to the occurrences of their names. // This is separated in order to make easy the changing of the list if a staff member is added or dropped. adminrights['David']=1; adminrights['Josh']=1; adminrights['Mases']=1; adminrights['Matt']=1; //