[MediaWiki-commits] [Gerrit] Convert to use extension registration - change (mediawiki...UpdateMediaWiki)
jenkins-bot has submitted this change and it was merged.
Change subject: Convert to use extension registration
..
Convert to use extension registration
Change-Id: I70141958c40d6269f7a828b31047fd20b9bfc5ed
---
M UpdateMediaWiki.php
A extension.json
2 files changed, 43 insertions(+), 32 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/UpdateMediaWiki.php b/UpdateMediaWiki.php
index 8ce1162..f534da4 100644
--- a/UpdateMediaWiki.php
+++ b/UpdateMediaWiki.php
@@ -1,35 +1,16 @@
-* @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0
or later
-* @link http://www.mediawiki.org/wiki/Extension:UpdateMediaWiki Documentation
-**/
-
-# Alert the user that this is not a valid access point to MediaWiki if they
try to access the special pages file directly.
-if ( !defined( 'MEDIAWIKI' ) ) {
- echo < __FILE__,
- 'name' => 'UpdateMediaWiki',
- 'author' =>'Miguel Peláez',
- 'url' => 'https://www.mediawiki.org/wiki/Extension:UpdateMediaWiki',
- 'descriptionmsg' => 'updatemediawiki-desc',
- 'version' => '0.3.0',
-);
-
-$wgAutoloadClasses[ 'Specialupdatemediawiki' ] = __DIR__ .
'/specialupdatemediawiki.php';
-$wgMessagesDirs['UpdateMediaWiki'] = __DIR__ . '/i18n';
-$wgExtensionMessagesFiles[ 'updatemediawiki' ] = __DIR__ .
'/updatemediawiki.i18n.php';
-$wgSpecialPages[ 'updatemediawiki' ] = 'Specialupdatemediawiki';
-$wgExtensionMessagesFiles['updatemediawikiAlias'] = __DIR__ .
'/updatemediawiki.alias.php';
diff --git a/extension.json b/extension.json
new file mode 100644
index 000..002764c
--- /dev/null
+++ b/extension.json
@@ -0,0 +1,30 @@
+{
+ "name": "UpdateMediaWiki",
+ "version": "0.4.0",
+ "author": [
+ "Miguel Pelaez"
+ ],
+ "url": "https://www.mediawiki.org/wiki/Extension:UpdateMediaWiki;,
+ "descriptionmsg": "updatemediawiki-desc",
+ "license-name": "GPL-2.0+",
+ "type": "extensions",
+ "requires": {
+ "MediaWiki": ">= 1.25.0"
+ },
+ "SpecialPages": {
+ "updatemediawiki": "Specialupdatemediawiki"
+ },
+ "MessagesDirs": {
+ "UpdateMediaWiki": [
+ "i18n"
+ ]
+ },
+ "ExtensionMessagesFiles": {
+ "updatemediawiki": "updatemediawiki.i18n.php",
+ "updatemediawikiAlias": "updatemediawiki.alias.php"
+ },
+ "AutoloadClasses": {
+ "Specialupdatemediawiki": "specialupdatemediawiki.php"
+ },
+ "manifest_version": 1
+}
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/291494
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I70141958c40d6269f7a828b31047fd20b9bfc5ed
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/UpdateMediaWiki
Gerrit-Branch: master
Gerrit-Owner: Matěj Suchánek
Gerrit-Reviewer: Miguel2706
Gerrit-Reviewer: Siebrand
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Convert to use extension registration - change (mediawiki...UpdateMediaWiki)
Matěj Suchánek has uploaded a new change for review.
https://gerrit.wikimedia.org/r/291494
Change subject: Convert to use extension registration
..
Convert to use extension registration
Change-Id: I70141958c40d6269f7a828b31047fd20b9bfc5ed
---
M UpdateMediaWiki.php
A extension.json
2 files changed, 43 insertions(+), 32 deletions(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/UpdateMediaWiki
refs/changes/94/291494/1
diff --git a/UpdateMediaWiki.php b/UpdateMediaWiki.php
index 8ce1162..f534da4 100644
--- a/UpdateMediaWiki.php
+++ b/UpdateMediaWiki.php
@@ -1,35 +1,16 @@
-* @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0
or later
-* @link http://www.mediawiki.org/wiki/Extension:UpdateMediaWiki Documentation
-**/
-
-# Alert the user that this is not a valid access point to MediaWiki if they
try to access the special pages file directly.
-if ( !defined( 'MEDIAWIKI' ) ) {
- echo < __FILE__,
- 'name' => 'UpdateMediaWiki',
- 'author' =>'Miguel Peláez',
- 'url' => 'https://www.mediawiki.org/wiki/Extension:UpdateMediaWiki',
- 'descriptionmsg' => 'updatemediawiki-desc',
- 'version' => '0.3.0',
-);
-
-$wgAutoloadClasses[ 'Specialupdatemediawiki' ] = __DIR__ .
'/specialupdatemediawiki.php';
-$wgMessagesDirs['UpdateMediaWiki'] = __DIR__ . '/i18n';
-$wgExtensionMessagesFiles[ 'updatemediawiki' ] = __DIR__ .
'/updatemediawiki.i18n.php';
-$wgSpecialPages[ 'updatemediawiki' ] = 'Specialupdatemediawiki';
-$wgExtensionMessagesFiles['updatemediawikiAlias'] = __DIR__ .
'/updatemediawiki.alias.php';
diff --git a/extension.json b/extension.json
new file mode 100644
index 000..33fba6e
--- /dev/null
+++ b/extension.json
@@ -0,0 +1,30 @@
+{
+ "name": "UpdateMediaWiki",
+ "version": "0.4.0",
+ "author": [
+ "Miguel Pelaez"
+ ],
+ "url": "https://www.mediawiki.org/wiki/Extension:UpdateMediaWiki;,
+ "descriptionmsg": "updatemediawiki-desc",
+ "license": [ "GPL-2.0+" ],
+ "type": "extensions",
+ "requires": {
+ "MediaWiki": ">= 1.25.0"
+ },
+ "SpecialPages": {
+ "updatemediawiki": "Specialupdatemediawiki"
+ },
+ "MessagesDirs": {
+ "UpdateMediaWiki": [
+ "i18n"
+ ]
+ },
+ "ExtensionMessagesFiles": {
+ "updatemediawiki": "updatemediawiki.i18n.php",
+ "updatemediawikiAlias": "updatemediawiki.alias.php"
+ },
+ "AutoloadClasses": {
+ "Specialupdatemediawiki": "specialupdatemediawiki.php"
+ },
+ "manifest_version": 1
+}
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/291494
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I70141958c40d6269f7a828b31047fd20b9bfc5ed
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UpdateMediaWiki
Gerrit-Branch: master
Gerrit-Owner: Matěj Suchánek
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
