Fix for r43173. 'patrol' log is part of core; it's not just for extensions.
authorAaron Schulz <aaron@users.mediawiki.org>
Tue, 4 Nov 2008 00:38:15 +0000 (00:38 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Tue, 4 Nov 2008 00:38:15 +0000 (00:38 +0000)
commit26a7ccf7219fa63e944020601034427d80c9db32
treed0ce52985976eac623e9667a369fdf61968bb0ed
parent88ce2bf36c083dbcf2984b5b565d4d9ef9360cc7
Fix for r43173. 'patrol' log is part of core; it's not just for extensions.
includes/DefaultSettings.php