jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/398410 )
Change subject: Remove unused jquery-1.10.2.js ...................................................................... Remove unused jquery-1.10.2.js Remove svg.min.js, just use the unminified version, RL does the rest Change-Id: I6c5decffb191b27c6103c032065baca0f1f00bf3 --- M LifeWebCore.php D resources/script/jquery-1.10.2.js D resources/script/svg.min.js 3 files changed, 1 insertion(+), 9,792 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/398410 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6c5decffb191b27c6103c032065baca0f1f00bf3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/LifeWebCore Gerrit-Branch: master Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
