MediaWiki:Gadget-leaflet-wiki.js: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

15 December 2024

14 December 2024

  • curprev 15:0115:01, 14 December 2024‎ Gau Cho talk contribs‎ 454,131 bytes +454,131‎ Created page with "(()=>{var e={237:(e,t,o)=>{const r=o(808),i=o(582),n=o(509),a=o(226);e.exports={episodes:r,rooms:i,entities:n,room_data:a}},684:(e,t,o)=>{const r=o(384),i=o(480),n=(e,t)=>{e[0][1]=Math.min(e[0][1],t[0]),e[1][1]=Math.max(e[1][1],t[0]),e[0][0]=Math.min(e[0][0],t[1]),e[1][0]=Math.max(e[1][0],t[1])};e.exports={focus_map:(e,t,o,a)=>{let s=[];if("all"===t)for(const e of["episodes","rooms","entities"])s=s.concat(window.geojson[e].features.filter(i.get_filter(o,a)));else s=windo..."
Retrieved from ‘https://brightershoreswiki.org/w/MediaWiki:Gadget-leaflet-wiki.js’