// == Unsupported titles ==
// ]
// ]
if ((mw.config.get('wgAction') === 'view' && /^(?:Diskussion:)?ungültige_Seitennamen\//.test(mw.config.get('wgPageName')))
|| mw.config.get('wgCanonicalSpecialPageName') == 'Badtitle')
mw.loader.using('mediawiki.util', function(){importScript("Benutzer:Udo T./ungültigeSeitennamen.js");});
// == Unsupported titles ==
// ]
// ]
if ((mw.config.get('wgAction') === 'view' && /^(?:Diskussion:)?ungültige_Seitennamen\//.test(mw.config.get('wgPageName')))
|| mw.config.get('wgCanonicalSpecialPageName') == 'Badtitle')
mw.loader.using('mediawiki.util', function(){importScript("MediaWiki:UngültigeSeitennamen.js");});
Nachtrag: gem. mw:Manual:Interface/JavaScript#Global scripts greift MediaWiki:Common.js nicht bei der mobilen Ansicht. Das obige importScript müsste dann bei Bedarf also (auch) in MediaWiki:Mobile.js eingebunden werden.