[MediaWiki-commits] [Gerrit] mediawiki...ProofreadPage[master]: Introduces IndexForPageLookup

2017-11-18 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/390886 ) Change subject: Introduces IndexForPageLookup .. Introduces IndexForPageLookup Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...ProofreadPage[master]: Introduces IndexForPageLookup

2017-11-12 Thread Tpt (Code Review)
Tpt has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/390886 ) Change subject: Introduces IndexForPageLookup .. Introduces IndexForPageLookup Change-Id: I3cea1f364e36c1809a76579f64bbb83b900b0284 --- M