[MediaWiki-commits] [Gerrit] marvin[master]: Chore: rename PageResolver
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
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.