jenkins-bot has submitted this change and it was merged.

Change subject: Fix autoload class
......................................................................


Fix autoload class

Change Patroller to SpecialPatroller.

Follow-up: https://gerrit.wikimedia.org/r/#/c/239850/

Change-Id: I8dbb442f5a2ec9d401b635915b3cb294a68aa58b
---
M Patroller.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Cblair91: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Patroller.php b/Patroller.php
index 0c09192..eb5d373 100644
--- a/Patroller.php
+++ b/Patroller.php
@@ -36,7 +36,7 @@
 
 # Register hooks
 $wgAutoloadClasses['PatrollerHooks']                   = $dir . 
'Patroller.hooks.php';
-$wgAutoloadClasses['Patroller']                                        = $dir 
. 'SpecialPatroller.php';
+$wgAutoloadClasses['SpecialPatroller']                                 = $dir 
. 'SpecialPatroller.php';
 
 $wgHooks['LoadExtensionSchemaUpdates'][]               = 
'PatrollerHooks::onLoadExtensionSchemaUpdates';
 $wgSpecialPages['Patrol']                                              = 
'SpecialPatroller';

-- 
To view, visit https://gerrit.wikimedia.org/r/239881
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I8dbb442f5a2ec9d401b635915b3cb294a68aa58b
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Patroller
Gerrit-Branch: master
Gerrit-Owner: Paladox <[email protected]>
Gerrit-Reviewer: Cblair91 <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to