[MediaWiki-commits] [Gerrit] mediawiki...parsoid[master]: linter: Get rid of tips

2016-10-14 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: linter: Get rid of tips .. linter: Get rid of tips These tips are hardcoded English, so they aren't suitable for display. The MediaWiki extension will

[MediaWiki-commits] [Gerrit] mediawiki...parsoid[master]: linter: Get rid of tips

2016-10-14 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/316019 Change subject: linter: Get rid of tips .. linter: Get rid of tips These tips are hardcoded English, so they aren't suitable for display.