jenkins-bot has submitted this change and it was merged. Change subject: Add missing class PagerWhosOnline to autoload ......................................................................
Add missing class PagerWhosOnline to autoload Change-Id: I30ce0d95cf794f3d8f62d015d8d84cbbde2ba0c1 --- M WhosOnline.php 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Umherirrender: Looks good to me, approved jenkins-bot: Verified diff --git a/WhosOnline.php b/WhosOnline.php index 02ae6db..20350cf 100644 --- a/WhosOnline.php +++ b/WhosOnline.php @@ -35,6 +35,7 @@ // Set up the special page $wgAutoloadClasses['SpecialWhosOnline'] = __DIR__ . '/WhosOnlineSpecialPage.php'; +$wgAutoloadClasses['PagerWhosOnline'] = __DIR__ . '/WhosOnlineSpecialPage.php'; $wgMessagesDirs['WhosOnline'] = __DIR__ . '/i18n'; $wgExtensionMessagesFiles['WhosOnlineAlias'] = __DIR__ . '/WhosOnline.alias.php'; $wgSpecialPages['WhosOnline'] = 'SpecialWhosOnline'; -- To view, visit https://gerrit.wikimedia.org/r/198521 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I30ce0d95cf794f3d8f62d015d8d84cbbde2ba0c1 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WhosOnline Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits