MediaWiki:Patrollerlist.js: Difference between revisions

Revision as of 20:25, May 11, 2020

// This script simply lists all the users with patroller 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.
patrollerrights['BlackRayquaza98']=1;
patrollerrights['Heroine%20of%20Time']=1;
patrollerrights['Odd300']=1;
patrollerrights['Satam']=1;
patrollerrights['Thortok2000']=1;
patrollerrights['Sanityormadness']=1;
//