[MediaWiki-commits] [Gerrit] mediawiki...SimpleSort[master]: Remove dot at end from extension description
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373652 ) Change subject: Remove dot at end from extension description .. Remove dot at end from extension description Consistency tweak
[MediaWiki-commits] [Gerrit] mediawiki...SimpleSort[master]: Remove dot at end from extension description
Umherirrender has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373652 ) Change subject: Remove dot at end from extension description .. Remove dot at end from extension description Consistency tweak for ex