[MediaWiki-commits] [Gerrit] Enable extension registration for InputBox - change (operations/mediawiki-config)

2016-03-24 Thread Dereckson (Code Review) 
Dereckson has uploaded a new change for review.

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

Change subject: Enable extension registration for InputBox
..

Enable extension registration for InputBox

Bug: T119117
Change-Id: I65027fb19e205c37f2cb52a48e3ce9a411858621
---
M wmf-config/CommonSettings.php
M wmf-config/extension-list
2 files changed, 2 insertions(+), 2 deletions(-)


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

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 80d6023..a213d70 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -696,7 +696,7 @@
 }
 
 if ( $wmgUseInputBox ) {
-   include( $IP . '/extensions/InputBox/InputBox.php' );
+   wfLoadExtension( 'InputBox' );
 }
 
 if ( $wmgUseImageMap ) {
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 1a0f67d..504b715 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -61,7 +61,7 @@
 $IP/extensions/GWToolset/GWToolset.php
 $IP/extensions/ImageMap/ImageMap.php
 $IP/extensions/ImageMetrics/ImageMetrics.php
-$IP/extensions/InputBox/InputBox.php
+$IP/extensions/InputBox/extension.json
 $IP/extensions/Insider/Insider.php
 $IP/extensions/intersection/DynamicPageList.php
 $IP/extensions/Interwiki/Interwiki.php

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I65027fb19e205c37f2cb52a48e3ce9a411858621
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Dereckson 

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

[MediaWiki-commits] [Gerrit] Enable extension registration for InputBox - change (operations/mediawiki-config)

2016-03-24 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Enable extension registration for InputBox
..


Enable extension registration for InputBox

Bug: T119117
Change-Id: I65027fb19e205c37f2cb52a48e3ce9a411858621
---
M wmf-config/CommonSettings.php
M wmf-config/extension-list
2 files changed, 2 insertions(+), 2 deletions(-)

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



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 80d6023..a213d70 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -696,7 +696,7 @@
 }
 
 if ( $wmgUseInputBox ) {
-   include( $IP . '/extensions/InputBox/InputBox.php' );
+   wfLoadExtension( 'InputBox' );
 }
 
 if ( $wmgUseImageMap ) {
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 1a0f67d..504b715 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -61,7 +61,7 @@
 $IP/extensions/GWToolset/GWToolset.php
 $IP/extensions/ImageMap/ImageMap.php
 $IP/extensions/ImageMetrics/ImageMetrics.php
-$IP/extensions/InputBox/InputBox.php
+$IP/extensions/InputBox/extension.json
 $IP/extensions/Insider/Insider.php
 $IP/extensions/intersection/DynamicPageList.php
 $IP/extensions/Interwiki/Interwiki.php

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I65027fb19e205c37f2cb52a48e3ce9a411858621
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Dereckson 
Gerrit-Reviewer: Catrope 
Gerrit-Reviewer: Florianschmidtwelzow 
Gerrit-Reviewer: jenkins-bot <>

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