[MediaWiki-commits] [Gerrit] Make ParserOptions fields private - change (mediawiki/core)
Anomie has uploaded a new change for review. https://gerrit.wikimedia.org/r/234270 Change subject: Make ParserOptions fields private .. Make ParserOptions fields private Now that Ib58e8020 and Ie644854 are merged, there are
[MediaWiki-commits] [Gerrit] Make ParserOptions fields private - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Make ParserOptions fields private .. Make ParserOptions fields private Now that Ib58e8020 and Ie644854 are merged, there are no direct accesses to these