MediaWiki:Common.js

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

var oggPlayerButtonOnly = false;