From 03e046f21a596c23133926bd9f301c7d3efb2cb5 Mon Sep 17 00:00:00 2001
From: Timo Tijhof <krinklemail@gmail.com>
Date: Wed, 13 Dec 2017 20:27:41 +0100
Subject: [PATCH] mediawiki.loader: Avoid jQuery for simple creation and
 selection

Use document.createElement and document.head instead.

Change-Id: Ia0f981da34f9f8dbc328e46a44511b2573b4e1b8
---
 resources/src/mediawiki/mediawiki.js | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/resources/src/mediawiki/mediawiki.js b/resources/src/mediawiki/mediawiki.js
index 592fc9e83e..393ab4aabe 100644
--- a/resources/src/mediawiki/mediawiki.js
+++ b/resources/src/mediawiki/mediawiki.js
@@ -879,8 +879,10 @@
 					// Cache
 					marker = document.querySelector( 'meta[name="ResourceLoaderDynamicStyles"]' );
 					if ( !marker ) {
-						mw.log( 'Create <meta name="ResourceLoaderDynamicStyles"> dynamically' );
-						marker = $( '<meta>' ).attr( 'name', 'ResourceLoaderDynamicStyles' ).appendTo( 'head' )[ 0 ];
+						mw.log( 'Created ResourceLoaderDynamicStyles marker dynamically' );
+						marker = document.createElement( 'meta' );
+						marker.name = 'ResourceLoaderDynamicStyles';
+						document.head.appendChild( marker );
 					}
 				}
 				return marker;
@@ -2059,7 +2061,7 @@
 								l = document.createElement( 'link' );
 								l.rel = 'stylesheet';
 								l.href = modules;
-								$( 'head' ).append( l );
+								document.head.appendChild( l );
 								return;
 							}
 							if ( type === 'text/javascript' || type === undefined ) {
-- 
2.20.1