mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-11-15 19:09:52 +00:00
cdc91d7f54
If the user has already been thanked, make the button greyed out and display the text "Thanked" instead of "Thank". Dependency: Ife9f456a7a9cf74b1b54fdc6128feb230fd6f671 Bug: 59828 Change-Id: Ifab78fe62910c9c3f2a927a6a4bbe28fb953b160 |
||
---|---|---|
.. | ||
ext.thanks.mobilediff.js | ||
ext.thanks.thank.js |