Dan-nl has uploaded a new change for review.

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


Change subject: production: add gwtoolset to extension-list
......................................................................

production: add gwtoolset to extension-list

when Commons was updated to 1.23wmf8 the extension-list reference for GWToolset
was not moved from extension-list-1.23wmf7 into extension-list

i am guessing that by placing the reference in extension-list it is no longer
needed in either extension-list-labs or extension-list-1.23wmf7, so i have
removed the reference from those two files.

Change-Id: If1376178384bc356f9f0697d098118c42384300b
---
M wmf-config/extension-list
M wmf-config/extension-list-1.23wmf7
M wmf-config/extension-list-labs
3 files changed, 3 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/41/104741/1

diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index f53dbd7..e1fbf39 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -58,6 +58,7 @@
 $IP/extensions/GlobalUsage/GlobalUsage.php
 $IP/extensions/GoogleNewsSitemap/GoogleNewsSitemap.php
 $IP/extensions/GuidedTour/GuidedTour.php
+$IP/extensions/GWToolset/GWToolset.php
 $IP/extensions/ImageMap/ImageMap.php
 $IP/extensions/InputBox/InputBox.php
 $IP/extensions/Insider/Insider.php
diff --git a/wmf-config/extension-list-1.23wmf7 
b/wmf-config/extension-list-1.23wmf7
index fef7adb..8b13789 100644
--- a/wmf-config/extension-list-1.23wmf7
+++ b/wmf-config/extension-list-1.23wmf7
@@ -1 +1 @@
-$IP/extensions/GWToolset/GWToolset.php
+
diff --git a/wmf-config/extension-list-labs b/wmf-config/extension-list-labs
index fef7adb..8b13789 100644
--- a/wmf-config/extension-list-labs
+++ b/wmf-config/extension-list-labs
@@ -1 +1 @@
-$IP/extensions/GWToolset/GWToolset.php
+

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: If1376178384bc356f9f0697d098118c42384300b
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Dan-nl <d_ent...@yahoo.com>

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

Reply via email to