Difference between revisions of "MediaWiki:Common.js"
MediaWiki interface page
Views
Actions
Namespaces
Variants
Tools
Line 10: | Line 10: | ||
var stnElement = document.getElementById('stn-stats'); | var stnElement = document.getElementById('stn-stats'); | ||
if(!stnElement) { | |||
return; | |||
} | |||
fetch("https://www.joban.tk/sysmap/data").then(function (response) { | fetch("https://www.joban.tk/sysmap/data").then(function (response) { |
Revision as of 11:41, 11 April 2022
$(function () { Object.size = function(obj) { var size = 0, key; for (key in obj) { if (obj.hasOwnProperty(key)) size++; } return size; }; var stnElement = document.getElementById('stn-stats'); if(!stnElement) { return; } fetch("https://www.joban.tk/sysmap/data").then(function (response) { return response.json(); }).then(function (data) { if(stnElement) { var stnCount = 0; for (var i=0; i < data.length; i++) { stnCount += Object.size(data[i].stations); } stnElement.innerHTML = stnCount; } }); }());