MediaWiki:Botlist.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 17:58, January 26, 2012
// This script lists all users set as bots. // This is separated in order to make easy the changing of the list if a bot is added or dropped. botrights['Navi']=1; //