Reedy has submitted this change and it was merged. Change subject: Move GWToolset to 1.23wmf7 extension-list file ......................................................................
Move GWToolset to 1.23wmf7 extension-list file Change-Id: Icb4faff360097c12ea1e464db5414308855d9057 --- M wmf-config/extension-list A wmf-config/extension-list-1.23wmf7 2 files changed, 1 insertion(+), 1 deletion(-) Approvals: Reedy: Verified; Looks good to me, approved diff --git a/wmf-config/extension-list b/wmf-config/extension-list index 3f350e5..f241f71 100644 --- a/wmf-config/extension-list +++ b/wmf-config/extension-list @@ -59,7 +59,6 @@ $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 new file mode 100644 index 0000000..fef7adb --- /dev/null +++ b/wmf-config/extension-list-1.23wmf7 @@ -0,0 +1 @@ +$IP/extensions/GWToolset/GWToolset.php -- To view, visit https://gerrit.wikimedia.org/r/102304 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icb4faff360097c12ea1e464db5414308855d9057 Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
