MediaWiki:Mobile.js: Unterschied zwischen den Versionen

Version vom 17. Oktober 2025, 20:07 Uhr

console.log('Mobile.js aktiv', mw.config.get('skin'));


(function () {
  if (mw.config.get('skin') !== 'minerva') return;
  var b = document.createElement('div');
  b.id = 'mobilejs-banner';
  b.textContent = 'Mobile.js ist aktiv';
  b.style.cssText = 'position:fixed;top:0;left:0;right:0;z-index:9999;padding:10px;text-align:center;background:#0b5;color:#fff;font-weight:700;';
  document.addEventListener('DOMContentLoaded', function () {
    document.body.appendChild(b);
    setTimeout(function(){ b.remove(); }, 4000);
  });
})();