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 <dereck...@espace-win.org>
Gerrit-Reviewer: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
