[MediaWiki-commits] [Gerrit] operations/puppet[production]: mediawiki module: Linting changes
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
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