Miguel2706 has submitted this change and it was merged.
Change subject: Changing a bug
......................................................................
Changing a bug
Change-Id: I72f5e4162fc1fa478dddcdf90d7fae2e5d767e39
---
M updateMediaWiki.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Miguel2706: Verified; Looks good to me, approved
diff --git a/updateMediaWiki.php b/updateMediaWiki.php
index 859c572..8b1eb50 100644
--- a/updateMediaWiki.php
+++ b/updateMediaWiki.php
@@ -23,7 +23,7 @@
'path' => __FILE__,
'name' => 'Update MediaWiki',
'author' =>'Miguel Peláez',
- 'url' => 'https://www.mediawiki.org/wiki/Extension:Update_MediaWiki',
+ 'url' => 'https://www.mediawiki.org/wiki/Extension:UpdateMediaWiki',
'description' => 'Allows administrators and authorized users upgrade
from a special page MediaWiki',
'version' => 0.1,
);
@@ -31,4 +31,4 @@
$wgExtensionMessagesFiles[ 'updatemediawiki' ] = __DIR__ .
'/updatemediawiki.i18n.php';
$wgSpecialPages[ 'updatemediawiki' ] = 'Specialupdatemediawiki';
$wgExtensionAliasesFiles['updatemediawiki'] = dirname( __FILE__ ) .
'/updatemediawiki.alias.php';
-$wgSpecialPageGroups['updatemediawiki']='wiki';
\ No newline at end of file
+$wgSpecialPageGroups['updatemediawiki']='wiki';
--
To view, visit https://gerrit.wikimedia.org/r/78539
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I72f5e4162fc1fa478dddcdf90d7fae2e5d767e39
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UpdateMediaWiki
Gerrit-Branch: master
Gerrit-Owner: Miguel2706 <[email protected]>
Gerrit-Reviewer: Miguel2706 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
