MediaWiki extension to load custom JavaScript on every wiki page