[MediaWiki-commits] [Gerrit] mwrepl improvements - change (operations/puppet)

Ori.livneh has submitted this change and it was merged. Change subject: mwrepl improvements .. mwrepl improvements * Use undocumented '--debug-extension' feature to load MediaWiki without requiring keyboard input. * Use

[MediaWiki-commits] [Gerrit] mwrepl improvements - change (operations/puppet)

Ori.livneh has uploaded a new change for review. https://gerrit.wikimedia.org/r/293795 Change subject: mwrepl improvements .. mwrepl improvements * Use undocumented '--debug-extension' feature to load MediaWiki without