jenkins-bot has submitted this change and it was merged. Change subject: Convert to extension registration ......................................................................
Convert to extension registration Change-Id: Idbe3822820550d8affd5dd4373d1e5121c7aea89 --- M UserOptionStats.php A extension.json 2 files changed, 33 insertions(+), 16 deletions(-) Approvals: Siebrand: Looks good to me, approved jenkins-bot: Verified diff --git a/UserOptionStats.php b/UserOptionStats.php index a25a1da..18c093c 100644 --- a/UserOptionStats.php +++ b/UserOptionStats.php @@ -15,23 +15,17 @@ * - shading 'Shading of the pie' 0..1000 * * @file - * @ingroup Extensions - * * @author Niklas Laxström * @license GPL-2.0+ */ -$wgExtensionCredits['specialpage'][] = array( - 'path' => __FILE__, - 'name' => 'User Option Statistics', - 'version' => '1.3.1', - 'author' => 'Niklas Laxström', - 'descriptionmsg' => 'useroptionstats-desc', - 'url' => 'https://www.mediawiki.org/wiki/Extension:UserOptionStats', -); - -$dir = __DIR__; -$wgAutoloadClasses['SpecialUserOptionStats'] = "$dir/SpecialUserOptionStats.php"; -$wgMessagesDirs['UserOptionStats'] = __DIR__ . '/i18n'; -$wgExtensionMessagesFiles['UserOptionStatsAlias'] = "$dir/UserOptionStats.alias.php"; -$wgSpecialPages['UserOptionStats'] = 'SpecialUserOptionStats'; +if ( function_exists( 'wfLoadExtension' ) ) { + wfLoadExtension( 'UserOptionStats' ); + /*wfWarn( + 'Deprecated PHP entry point used for UserOptionStats extension. Please use wfLoadExtension instead, ' . + 'see https://www.mediawiki.org/wiki/Extension_registration for more details.' + );*/ + return; +} else { + die( 'This version of the UserOptionStats extension requires MediaWiki 1.25+' ); +} diff --git a/extension.json b/extension.json new file mode 100644 index 0000000..6d72029 --- /dev/null +++ b/extension.json @@ -0,0 +1,23 @@ +{ + "name": "User Option Statistics", + "version": "2.0.0", + "author": "Niklas Laxström", + "url": "https://www.mediawiki.org/wiki/Extension:UserOptionStats";, + "descriptionmsg": "useroptionstats-desc", + "type": "specialpage", + "AutoloadClasses": { + "SpecialUserOptionStats": "SpecialUserOptionStats.php" + }, + "ExtensionMessagesFiles": { + "UserOptionStatsAlias": "UserOptionStats.alias.php" + }, + "MessagesDirs": { + "UserOptionStats": [ + "i18n" + ] + }, + "SpecialPages": { + "UserOptionStats": "SpecialUserOptionStats" + }, + "manifest_version": 1 +} -- To view, visit https://gerrit.wikimedia.org/r/256951 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idbe3822820550d8affd5dd4373d1e5121c7aea89 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/UserOptionStats Gerrit-Branch: master Gerrit-Owner: Nikerabbit <[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
