wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-11-15 10:59:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Thanks/modules
History
jenkins-bot ba78be728a Merge "build: Update eslint-config-wikimedia to 0.16.2"
2020-07-09 16:39:26 +00:00
..
ext.thanks.corethank.js build: Update eslint-config-wikimedia 2019-12-12 11:36:24 +00:00
ext.thanks.flowthank.js build: Update eslint-config-wikimedia 2019-12-12 11:36:24 +00:00
ext.thanks.mobilediff.js build: Update eslint-config-wikimedia to 0.16.2 2020-07-09 16:35:57 +01:00
ext.thanks.thank.js Use mw.cookie instead of $.cookie 2020-05-29 19:44:12 +00:00
jquery.findWithParent.js build: Update eslint-config-wikimedia 2019-12-12 11:36:24 +00:00
userTalk-ltr.svg Do not use PNG for thanks button 2018-08-09 17:13:21 +00:00
userTalk-rtl.svg Do not use PNG for thanks button 2018-08-09 17:13:21 +00:00