「MediaWiki:Common.js」の版間の差分
提供: whvm
| 11行目: | 11行目: | ||
}, 200); | }, 200); | ||
}; | }; | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
2017年9月22日 (金) 00:48時点における版
/* ここにあるすべてのJavaScriptは、すべてのページ読み込みですべての利用者に対して読み込まれます */
var timer = 0;
window.onresize = function () {
if (timer > 0) {
clearTimeout(timer);
}
timer = setTimeout(function () {
var result = document.body.getTopPosition;
console.log(result); //ここに処理の内容が入る
}, 200);
};
