[MediaWiki-commits] [Gerrit] Replace deprecated $wgSpecialPageGroups - change (mediawiki...Gadgets)

2015-05-16 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Replace deprecated $wgSpecialPageGroups
..


Replace deprecated $wgSpecialPageGroups

$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Change-Id: I3fe4906a422fdf7f6d8ba51b39b7f45c01c3d772
(cherry picked from commit 6c25618f55e67f359008afa9ee76a5b09c4f369a)
---
M SpecialGadgets.php
M extension.json
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/SpecialGadgets.php b/SpecialGadgets.php
index 8a9fd0e..3cbce48 100644
--- a/SpecialGadgets.php
+++ b/SpecialGadgets.php
@@ -202,4 +202,8 @@
. Html::closeElement( 'form' )
);
}
+
+   protected function getGroupName() {
+   return 'wiki';
+   }
 }
diff --git a/extension.json b/extension.json
index 0c55840..f8377ec 100644
--- a/extension.json
+++ b/extension.json
@@ -11,9 +11,6 @@
SpecialPages: {
Gadgets: SpecialGadgets
},
-   SpecialPageGroups: {
-   Gadgets: wiki
-   },
APIListModules: {
gadgetcategories: ApiQueryGadgetCategories,
gadgets: ApiQueryGadgets

-- 
To view, visit https://gerrit.wikimedia.org/r/211439
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3fe4906a422fdf7f6d8ba51b39b7f45c01c3d772
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Gadgets
Gerrit-Branch: REL1_25
Gerrit-Owner: Legoktm legoktm.wikipe...@gmail.com
Gerrit-Reviewer: Legoktm legoktm.wikipe...@gmail.com
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

[MediaWiki-commits] [Gerrit] Replace deprecated $wgSpecialPageGroups - change (mediawiki...Gadgets)

2015-05-16 Thread Legoktm (Code Review) 
Legoktm has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/211439

Change subject: Replace deprecated $wgSpecialPageGroups
..

Replace deprecated $wgSpecialPageGroups

$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Change-Id: I3fe4906a422fdf7f6d8ba51b39b7f45c01c3d772
(cherry picked from commit 6c25618f55e67f359008afa9ee76a5b09c4f369a)
---
M SpecialGadgets.php
M extension.json
2 files changed, 4 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Gadgets 
refs/changes/39/211439/1

diff --git a/SpecialGadgets.php b/SpecialGadgets.php
index 8a9fd0e..3cbce48 100644
--- a/SpecialGadgets.php
+++ b/SpecialGadgets.php
@@ -202,4 +202,8 @@
. Html::closeElement( 'form' )
);
}
+
+   protected function getGroupName() {
+   return 'wiki';
+   }
 }
diff --git a/extension.json b/extension.json
index 0c55840..f8377ec 100644
--- a/extension.json
+++ b/extension.json
@@ -11,9 +11,6 @@
SpecialPages: {
Gadgets: SpecialGadgets
},
-   SpecialPageGroups: {
-   Gadgets: wiki
-   },
APIListModules: {
gadgetcategories: ApiQueryGadgetCategories,
gadgets: ApiQueryGadgets

-- 
To view, visit https://gerrit.wikimedia.org/r/211439
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I3fe4906a422fdf7f6d8ba51b39b7f45c01c3d772
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Gadgets
Gerrit-Branch: REL1_25
Gerrit-Owner: Legoktm legoktm.wikipe...@gmail.com
Gerrit-Reviewer: Umherirrender umherirrender_de...@web.de

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] Replace deprecated $wgSpecialPageGroups - change (mediawiki...Gadgets)

2015-05-15 Thread Umherirrender (Code Review) 
Umherirrender has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/211270

Change subject: Replace deprecated $wgSpecialPageGroups
..

Replace deprecated $wgSpecialPageGroups

$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Change-Id: I3fe4906a422fdf7f6d8ba51b39b7f45c01c3d772
---
M SpecialGadgets.php
M extension.json
2 files changed, 4 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Gadgets 
refs/changes/70/211270/1

diff --git a/SpecialGadgets.php b/SpecialGadgets.php
index 8a9fd0e..3cbce48 100644
--- a/SpecialGadgets.php
+++ b/SpecialGadgets.php
@@ -202,4 +202,8 @@
. Html::closeElement( 'form' )
);
}
+
+   protected function getGroupName() {
+   return 'wiki';
+   }
 }
diff --git a/extension.json b/extension.json
index 95d1cff..b26e9af 100644
--- a/extension.json
+++ b/extension.json
@@ -11,9 +11,6 @@
SpecialPages: {
Gadgets: SpecialGadgets
},
-   SpecialPageGroups: {
-   Gadgets: wiki
-   },
APIListModules: {
gadgetcategories: ApiQueryGadgetCategories,
gadgets: ApiQueryGadgets

-- 
To view, visit https://gerrit.wikimedia.org/r/211270
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I3fe4906a422fdf7f6d8ba51b39b7f45c01c3d772
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Gadgets
Gerrit-Branch: master
Gerrit-Owner: Umherirrender umherirrender_de...@web.de

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] Replace deprecated $wgSpecialPageGroups - change (mediawiki...Gadgets)

2015-05-15 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Replace deprecated $wgSpecialPageGroups
..


Replace deprecated $wgSpecialPageGroups

$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Change-Id: I3fe4906a422fdf7f6d8ba51b39b7f45c01c3d772
---
M SpecialGadgets.php
M extension.json
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/SpecialGadgets.php b/SpecialGadgets.php
index 8a9fd0e..3cbce48 100644
--- a/SpecialGadgets.php
+++ b/SpecialGadgets.php
@@ -202,4 +202,8 @@
. Html::closeElement( 'form' )
);
}
+
+   protected function getGroupName() {
+   return 'wiki';
+   }
 }
diff --git a/extension.json b/extension.json
index 95d1cff..b26e9af 100644
--- a/extension.json
+++ b/extension.json
@@ -11,9 +11,6 @@
SpecialPages: {
Gadgets: SpecialGadgets
},
-   SpecialPageGroups: {
-   Gadgets: wiki
-   },
APIListModules: {
gadgetcategories: ApiQueryGadgetCategories,
gadgets: ApiQueryGadgets

-- 
To view, visit https://gerrit.wikimedia.org/r/211270
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3fe4906a422fdf7f6d8ba51b39b7f45c01c3d772
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Gadgets
Gerrit-Branch: master
Gerrit-Owner: Umherirrender umherirrender_de...@web.de
Gerrit-Reviewer: Legoktm legoktm.wikipe...@gmail.com
Gerrit-Reviewer: jenkins-bot 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits