「MediaWiki:Mobile.js」の版間の差分
withCSSをMediwWiki:Common.jsから移植 |
https://gerrit.wikimedia.org/r/#/c/171732/12/includes/Resources.php |
||
| 28行目: | 28行目: | ||
} | } | ||
mw.loader.using('mobile. | mw.loader.using('mobile.overlays', function() { | ||
var M = mw.mobileFrontend; | var M = mw.mobileFrontend; | ||