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 <dereck...@espace-win.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits