MediaWiki:Common.js: Difference between revisions

Revision as of 16:16, 16 November 2025

/* Any JavaScript here will be loaded for all users on every page load. */

// Add favicon
var link = document.createElement('link');
link.rel = 'icon';
link.type = 'image/x-icon';
link.href = '/images/favicon.png';
document.getElementsByTagName('head')[0].appendChild(link);

@@ Line 7: / Line 7: @@
 link.href = '/images/favicon.png';
 document.getElementsByTagName('head')[0].appendChild(link);
-<!-- Leaflet CSS -->
-<link rel="stylesheet" href="https://unpkg.com/leaflet@1.9.4/dist/leaflet.css"
- integrity="sha256-sA+g2W8xXrJm0nvI6pH7XdQsoV54J3bZkZfT0iCtkxM=" crossorigin=""/>
-<!-- Leaflet JS -->
-<script src="https://unpkg.com/leaflet@1.9.4/dist/leaflet.js"
- integrity="sha256-o9N1j7k+3H+nWmKqzw3zZy1oAiZfM8/4CVfZT+3Gk1M=" crossorigin=""></script>