[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Change 'history-show-deleted' message to 'Revision deleted o...

jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/340831 ) Change subject: Change 'history-show-deleted' message to 'Revision deleted only' for clarity .. Change 'history-show-deleted'

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Change 'history-show-deleted' message to 'Revision deleted o...

MusikAnimal has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/340831 ) Change subject: Change 'history-show-deleted' message to 'Revision deleted only' for clarity .. Change 'history-show-deleted' message

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Change 'history-show-deleted' message to 'Revision deleted o...

MusikAnimal has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/340828 ) Change subject: Change 'history-show-deleted' message to 'Revision deleted only' for clarity .. Change 'history-show-deleted' message