Merge "More specific @return doc in WikiPage::getDeletionUpdates"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 16 Oct 2015 11:46:27 +0000 (11:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 16 Oct 2015 11:46:27 +0000 (11:46 +0000)
commit91d69e12e1d2e00953cae3c153e37f3d36e5903c
tree390662bbb7e884946e96f923656b5d45c45eb31e
parentcd9cecb220e050f5597aa886dc7a39838b91926a
parent91e854b5905884fcbec815b1a866c20cc2e41326
Merge "More specific @return doc in WikiPage::getDeletionUpdates"
includes/page/WikiPage.php