MediaWiki:Group-user.js

This is an old revision of this page, as edited by Krinkle (talk | contribs) at 02:18, 17 October 2022 (End of experiment). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
/* Any JavaScript here will be loaded for registered users only */

mw.loader.using( [ 'mediawiki.util' ] ).done( function () {
	/**
	 * Redirect User:Name/skin.js and skin.css to the current skin's pages
	 * (unless the 'skin' page really exists).
	 *
	 * Dependencies: mediawiki.util
	 *
	 * @source https://www.mediawiki.org/wiki/Snippets/Redirect_skin.js
	 * @revision 2016-04-13
	 */
	if ( mw.config.get( 'wgArticleId' ) === 0 && mw.config.get( 'wgNamespaceNumber' ) === 2 ) {
		var titleParts = mw.config.get( 'wgPageName' ).split( '/' );
		// Make sure there was a part before and after the slash
		// And that the latter is 'skin.js' or 'skin.css'
		if ( titleParts.length === 2 ) {
			var userSkinPage = titleParts[0] + '/' + mw.config.get( 'skin' );
			if ( titleParts[1] === 'skin.js' ) {
				window.___location.href = mw.util.getUrl( userSkinPage + '.js' );
			} else if ( titleParts[1] === 'skin.css' ) {
				window.___location.href = mw.util.getUrl( userSkinPage + '.css' );
			}
		}
	}
});