jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/348121 )
Change subject: Remove outdated wgIncludejQueryMigrate setting ...................................................................... Remove outdated wgIncludejQueryMigrate setting Change-Id: I868262a5793ef9183c6cb250282cfc99f500020a --- D mediawiki/conf.d/10_enable_legacy_jquery.php 1 file changed, 0 insertions(+), 7 deletions(-) Approvals: Krinkle: Looks good to me, approved jenkins-bot: Verified diff --git a/mediawiki/conf.d/10_enable_legacy_jquery.php b/mediawiki/conf.d/10_enable_legacy_jquery.php deleted file mode 100644 index 8ba25f5..0000000 --- a/mediawiki/conf.d/10_enable_legacy_jquery.php +++ /dev/null @@ -1,7 +0,0 @@ -<?php -# -# Snippet coming from integration/jenkins.git:/mediawiki/conf.d/ -# - -// Include jQuery Migrate to enable legacy jQuery features -$wgIncludejQueryMigrate = true; -- To view, visit https://gerrit.wikimedia.org/r/348121 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I868262a5793ef9183c6cb250282cfc99f500020a Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Krinkle <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: Krinkle <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
