* ensure 'MediaWiki default' user is a bot when running batch deletion of mediawiki...
authorBrion Vibber <brion@users.mediawiki.org>
Sun, 7 Jan 2007 11:21:41 +0000 (11:21 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Sun, 7 Jan 2007 11:21:41 +0000 (11:21 +0000)
commitc95ec8d74e78599f26aaf70cc095bfcc29f49591
treea8a2e407200a985fabdfad8280b9fe4e5293fa9c
parent803b3c07f8952919bddea33db3d65207e0fe77ca
* ensure 'MediaWiki default' user is a bot when running batch deletion of mediawiki entries, so they don't clutter up RC
* as paranoia, don't insert a groups record into the database if User::addGroup() ends up run on a non-existing user
includes/User.php
maintenance/deleteDefaultMessages.php