MediaWiki:Common.js: Difference between revisions

/* Any JavaScript here will be loaded for all users on every page load. */
mw.hook( 'codeEditor.configure' ).add(function(session)
{
  // Use proper tabs
	session.setUseSoftTabs(true);
	session.setTabSize(2);
});