MediaWiki:Mobile.js: Unterschied zwischen den Versionen

Aus KiwiThek
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „* * MediaWiki:Mobile.js * * based upon https://www.mediawiki.org/wiki/MediaWiki:Mobile.js: console.log('Up and running! :D') mw.loader.using(['mediawi…“)
(kein Unterschied)

Version vom 7. Oktober 2020, 08:33 Uhr

/**
 * MediaWiki:Mobile.js
 *
 * based upon https://www.mediawiki.org/wiki/MediaWiki:Mobile.js
 */
console.log('Up and running! :D')

mw.loader.using(['mediawiki.util'], function () {
  var stylesheets = [
    'MediaWiki:Mobile.css',
  ]

  stylesheets.forEach((stylesheet) => {
    var urlencodedName = encodeURIComponent(stylesheet)
    mw.loader.load(
      `/index.php?title=${urlencodedName}&action=raw&ctype=text/css`,
      'text/css')
  })
})