MediaWiki:Wikimediaplayer.js: Difference between revisions

Revision as of 00:41, 25 February 2012

Latest revision as of 18:17, 5 July 2014

Line 1:

//Wikimediaplayer, Based on wikiminiatlas by dschwen

//<pre>

var wikimediaplayer =

{

Line 117 ⟶ 116:

//Big icon for image pages.

if (mw.config.get('wgNamespaceNumber==6')){

divi = document.getElementById('file');

if (!divi)

Line 199 ⟶ 198:

// Hook up installation function

//

addOnloadHook$(document).ready(wikimediaplayer.loader);

//</pre>