mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-11-15 10:59:42 +00:00
35964a6c77
Rather than using mobile.startup, switch to using mediawiki.notification which is more lightweight and does same thing. Bug: T155801 Change-Id: I23d75272602766e24e8b01410f4a88609eda6dee |
||
---|---|---|
.. | ||
ext.thanks.flowthank.js | ||
ext.thanks.mobilediff.js | ||
ext.thanks.revthank.js | ||
ext.thanks.thank.js | ||
jquery.findWithParent.js |