mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-11-15 10:59:42 +00:00
90eef72c48
* Explicit return null instead of no return. * Document right @return type. * Avoid else paths by using early return. Change-Id: I24c434ebb57188346ad7cd722f08390ba6da2c34 |
||
---|---|---|
.. | ||
ext.thanks.flowthank.js | ||
ext.thanks.mobilediff.js | ||
ext.thanks.revthank.js | ||
ext.thanks.thank.js | ||
jquery.findWithParent.js |