MediaWiki:Mobile.js

Aus KiwiThek
Version vom 7. Oktober 2020, 08:33 Uhr von Ahofbauer (Diskussion | Beiträge) (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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

Hinweis: Leere nach dem Speichern den Browser-Cache, um die Änderungen sehen zu können.

  • Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
  • Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
  • Internet Explorer: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
  • Opera: Gehe zu Menü → Einstellungen (Opera → Einstellungen auf dem Mac) und dann auf Datenschutz & Sicherheit → Browserdaten löschen → Gespeicherte Bilder und Dateien.
/**
 * 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')
  })
})