[MediaWiki-commits] [Gerrit] Remove unneeded $wgSpecialPageGroups - change (mediawiki...Disambiguator)

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

Change subject: Remove unneeded $wgSpecialPageGroups
..


Remove unneeded $wgSpecialPageGroups

Override of SpecialPage::getGroupName already exists

Change-Id: I026231ca8d4410a8e4eaf862b9658b919a732bda
(cherry picked from commit a1adc5b061c537c0bc6a2ae7fcc3ea9d4afd9109)
---
M Disambiguator.php
M extension.json
2 files changed, 0 insertions(+), 6 deletions(-)

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



diff --git a/Disambiguator.php b/Disambiguator.php
index a74e252..71d7914 100644
--- a/Disambiguator.php
+++ b/Disambiguator.php
@@ -62,9 +62,7 @@
 
 // Register special pages
 $wgSpecialPages['DisambiguationPages'] = 'SpecialDisambiguationPages';
-$wgSpecialPageGroups['DisambiguationPages'] = 'pages';
 $wgSpecialPages['DisambiguationPageLinks'] = 'SpecialDisambiguationPageLinks';
-$wgSpecialPageGroups['DisambiguationPageLinks'] = 'pages';
 
 $wgResourceModules['ext.disambiguator.visualEditor'] = array(
'localBasePath' = __DIR__,
diff --git a/extension.json b/extension.json
index a681fda..fa7cb8c 100644
--- a/extension.json
+++ b/extension.json
@@ -60,10 +60,6 @@
config: {
DisambiguatorIndicateLinks: true
},
-   SpecialPageGroups: {
-   DisambiguationPages: pages,
-   DisambiguationPageLinks: pages
-   },
SpecialPages: {
DisambiguationPages: SpecialDisambiguationPages,
DisambiguationPageLinks: SpecialDisambiguationPageLinks

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I026231ca8d4410a8e4eaf862b9658b919a732bda
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Disambiguator
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] Remove unneeded $wgSpecialPageGroups - change (mediawiki...Disambiguator)

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

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

Change subject: Remove unneeded $wgSpecialPageGroups
..

Remove unneeded $wgSpecialPageGroups

Override of SpecialPage::getGroupName already exists

Change-Id: I026231ca8d4410a8e4eaf862b9658b919a732bda
(cherry picked from commit a1adc5b061c537c0bc6a2ae7fcc3ea9d4afd9109)
---
M Disambiguator.php
M extension.json
2 files changed, 0 insertions(+), 6 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Disambiguator 
refs/changes/38/211438/1

diff --git a/Disambiguator.php b/Disambiguator.php
index a74e252..71d7914 100644
--- a/Disambiguator.php
+++ b/Disambiguator.php
@@ -62,9 +62,7 @@
 
 // Register special pages
 $wgSpecialPages['DisambiguationPages'] = 'SpecialDisambiguationPages';
-$wgSpecialPageGroups['DisambiguationPages'] = 'pages';
 $wgSpecialPages['DisambiguationPageLinks'] = 'SpecialDisambiguationPageLinks';
-$wgSpecialPageGroups['DisambiguationPageLinks'] = 'pages';
 
 $wgResourceModules['ext.disambiguator.visualEditor'] = array(
'localBasePath' = __DIR__,
diff --git a/extension.json b/extension.json
index a681fda..fa7cb8c 100644
--- a/extension.json
+++ b/extension.json
@@ -60,10 +60,6 @@
config: {
DisambiguatorIndicateLinks: true
},
-   SpecialPageGroups: {
-   DisambiguationPages: pages,
-   DisambiguationPageLinks: pages
-   },
SpecialPages: {
DisambiguationPages: SpecialDisambiguationPages,
DisambiguationPageLinks: SpecialDisambiguationPageLinks

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I026231ca8d4410a8e4eaf862b9658b919a732bda
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Disambiguator
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] Remove unneeded $wgSpecialPageGroups - change (mediawiki...Disambiguator)

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

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

Change subject: Remove unneeded $wgSpecialPageGroups
..

Remove unneeded $wgSpecialPageGroups

override of SpecialPage::getGroupName already exists

Change-Id: I026231ca8d4410a8e4eaf862b9658b919a732bda
---
M Disambiguator.php
1 file changed, 0 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Disambiguator 
refs/changes/01/211201/1

diff --git a/Disambiguator.php b/Disambiguator.php
index a74e252..71d7914 100644
--- a/Disambiguator.php
+++ b/Disambiguator.php
@@ -62,9 +62,7 @@
 
 // Register special pages
 $wgSpecialPages['DisambiguationPages'] = 'SpecialDisambiguationPages';
-$wgSpecialPageGroups['DisambiguationPages'] = 'pages';
 $wgSpecialPages['DisambiguationPageLinks'] = 'SpecialDisambiguationPageLinks';
-$wgSpecialPageGroups['DisambiguationPageLinks'] = 'pages';
 
 $wgResourceModules['ext.disambiguator.visualEditor'] = array(
'localBasePath' = __DIR__,

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I026231ca8d4410a8e4eaf862b9658b919a732bda
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Disambiguator
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] Remove unneeded $wgSpecialPageGroups - change (mediawiki...Disambiguator)

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

Change subject: Remove unneeded $wgSpecialPageGroups
..


Remove unneeded $wgSpecialPageGroups

Override of SpecialPage::getGroupName already exists

Change-Id: I026231ca8d4410a8e4eaf862b9658b919a732bda
---
M Disambiguator.php
M extension.json
2 files changed, 0 insertions(+), 6 deletions(-)

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



diff --git a/Disambiguator.php b/Disambiguator.php
index a74e252..71d7914 100644
--- a/Disambiguator.php
+++ b/Disambiguator.php
@@ -62,9 +62,7 @@
 
 // Register special pages
 $wgSpecialPages['DisambiguationPages'] = 'SpecialDisambiguationPages';
-$wgSpecialPageGroups['DisambiguationPages'] = 'pages';
 $wgSpecialPages['DisambiguationPageLinks'] = 'SpecialDisambiguationPageLinks';
-$wgSpecialPageGroups['DisambiguationPageLinks'] = 'pages';
 
 $wgResourceModules['ext.disambiguator.visualEditor'] = array(
'localBasePath' = __DIR__,
diff --git a/extension.json b/extension.json
index a681fda..fa7cb8c 100644
--- a/extension.json
+++ b/extension.json
@@ -60,10 +60,6 @@
config: {
DisambiguatorIndicateLinks: true
},
-   SpecialPageGroups: {
-   DisambiguationPages: pages,
-   DisambiguationPageLinks: pages
-   },
SpecialPages: {
DisambiguationPages: SpecialDisambiguationPages,
DisambiguationPageLinks: SpecialDisambiguationPageLinks

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I026231ca8d4410a8e4eaf862b9658b919a732bda
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Disambiguator
Gerrit-Branch: master
Gerrit-Owner: Umherirrender umherirrender_de...@web.de
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