[MediaWiki-commits] [Gerrit] marvin[master]: Chore: rename PageResolver

2017-12-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/395810 ) Change subject: Chore: rename PageResolver .. Chore: rename PageResolver • Rename PageResolver from noun to verb,

[MediaWiki-commits] [Gerrit] marvin[master]: Chore: rename PageResolver

2017-12-06 Thread Niedzielski (Code Review)
Niedzielski has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/395810 ) Change subject: Chore: rename PageResolver .. Chore: rename PageResolver • Rename PageResolver from verb to noun, RequestPageModule.