HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/ProofreadPage…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/ProofreadPage 588228dc4e7888e1ceed59b6d7d5be98c7ae045b

Improves the range checking of <page> tag

More readable code

Bug: T111035
Change-Id: I84d746b74635e3aea85da33a268cec3c6342d64c

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTce6b17ff6d03: Updated mediawiki/extensions Project: mediawiki/extensions/ProofreadPage… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 4 2015, 12:07 PM