[MediaWiki-commits] [Gerrit] operations/puppet[production]: mediawiki module: Linting changes

2017-01-24 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/332103 ) Change subject: mediawiki module: Linting changes .. mediawiki module: Linting changes Use full names for class names, as relative

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mediawiki module: Linting changes

2017-01-14 Thread Juniorsys (Code Review)
Juniorsys has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/332103 ) Change subject: mediawiki module: Linting changes .. mediawiki module: Linting changes Use full names for class names, as relative names