「MediaWiki:Mobile.js」の版間の差分

2023年3月18日 (土) 21:39時点における版

/* ここにある全てのJavaScriptはモバイル版サイトの利用者に影響します */

var timer = setInterval(function() {
     if ($('.menu ul:first').length) {
         console.log("mobile menu exists");
         clearInterval(timer);
         $('.menu ul:first').after(
               '<ul class="level1"> \
                    <li> \
                    <a href="特別:PopularPages" \
                          class="mw-ui-icon mw-ui-icon-before mw-ui-icon-minerva-watchlist"> \
                    <span>人気のページ</span> \
                    </a> \
                    </li> \
                    <li> \
                    <a href="Terms_of_use|" \
                          class="mw-ui-icon mw-ui-icon-before mw-ui-icon-minerva-watchlist"> \
                    <span>利用規約</span> \
                    </a> \
                    </li> \
               </ul>'
          );
     }
}, 100000); // check every 100ms

@@ 22行目: / 22行目: @@
            );
       }
-}, 100); // check every 100ms
+}, 100000); // check every 100ms