mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-12-17 00:40:33 +00:00
aad7e245fa
The old name was deprecated in I07b4366. Bug: T113289 Change-Id: Ie53dcd6e4031727ca75c90fa84176f552bc5cc73 |
||
---|---|---|
.. | ||
ext.thanks.flowthank.js | ||
ext.thanks.mobilediff.js | ||
ext.thanks.revthank.js | ||
ext.thanks.thank.js |