User:RoySmith/scripts/openDRV.js

.when(	// Resource loader modules	mw.loader.using(['mediawiki.util', 'mediawiki.api', 'mediawiki.Title', 'ext.gadget.libExtraUtil']),	// Page ready	$.ready ).then(function { /* ========== Config ============================================================================ */ var config = {		// Script info	script: {		advert: ' (via script)', // For edit summaries		version: '0.0.0'	},	// MediaWiki configuration values	mw: mw.config.get( [ 'wgArticleId', 'wgCurRevisionId', 'wgPageName', 'wgUserGroups', 'wgUserName', 'wgMonthNames', 'wgNamespaceNumber', 'wgTitle' ] ) };