MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */

jquery = document.createElement( "script" );
jquery.src = "https://ajax.googleapis.com/ajax/libs/jquery/1.9.1/jquery.min.js";

document.getElementsByTagName( "head" )[0].appendChild( jquery );