From 0966c801a4d4fa5c8f486d3b57e89a00afb757cf Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Mon, 10 Mar 2014 21:00:23 +0100 Subject: [PATCH] mw.loader: Update addScript() to match latest jQuery * Optimise for modern browsers by using the quick document.head when available. * Fallback to documentElement () instead of . * Prepend instead of append, per upstream jQuery. Change-Id: I00ddceea531114704a3aa64961dec90181315c19 --- resources/mediawiki/mediawiki.js | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/resources/mediawiki/mediawiki.js b/resources/mediawiki/mediawiki.js index 12d5117493..85e32e884b 100644 --- a/resources/mediawiki/mediawiki.js +++ b/resources/mediawiki/mediawiki.js @@ -1052,12 +1052,12 @@ var mw = ( function ( $, undefined ) { // Can't use jQuery.getScript because that only uses