[MediaWiki-commits] [Gerrit] operations/puppet[production]: jenkins: Linting fixes

2017-01-26 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/334288 ) Change subject: jenkins: Linting fixes .. jenkins: Linting fixes Use full names for class names, as relative names are not allowed in

[MediaWiki-commits] [Gerrit] operations/puppet[production]: jenkins: Linting fixes

2017-01-26 Thread Juniorsys (Code Review)
Juniorsys has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/334288 ) Change subject: jenkins: Linting fixes .. jenkins: Linting fixes Use full names for class names, as relative names are not allowed in fut