jenkins-bot has submitted this change and it was merged. Change subject: Register class SpecialMaintenanceException with auto loader ......................................................................
Register class SpecialMaintenanceException with auto loader Change-Id: Idceb5a8c4019bc3d49227412184976e14e1f28a4 --- M Maintenance.php 1 file changed, 2 insertions(+), 0 deletions(-) Approvals: BryanDavis: Looks good to me, approved jenkins-bot: Verified diff --git a/Maintenance.php b/Maintenance.php index 6b26491..84c21ff 100644 --- a/Maintenance.php +++ b/Maintenance.php @@ -42,6 +42,8 @@ $wgExtensionMessagesFiles['Maintenance'] = $dir . 'Maintenance.i18n.php'; $wgExtensionMessagesFiles['MaintenanceAlias'] = $dir . 'Maintenance.alias.php'; $wgAutoloadClasses['SpecialMaintenance'] = $dir . 'Maintenance_body.php'; +$wgAutoloadClasses['SpecialMaintenanceException'] = $dir . 'Maintenance_body.php'; + $wgSpecialPages['Maintenance'] = 'SpecialMaintenance'; // Special page group for MW 1.13+ $wgSpecialPageGroups['Maintenance'] = 'wiki'; -- To view, visit https://gerrit.wikimedia.org/r/184933 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idceb5a8c4019bc3d49227412184976e14e1f28a4 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Maintenance Gerrit-Branch: master Gerrit-Owner: Siebrand <[email protected]> Gerrit-Reviewer: BryanDavis <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
