Merge "Clarify and update DeferredUpdates docs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 7 Sep 2016 06:56:40 +0000 (06:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 7 Sep 2016 06:56:40 +0000 (06:56 +0000)
commitf9676b19503a72e70783966c5f748ef61277849b
tree85a3a9fc3c1a14e7f2278a94abda45e6324d2698
parent2eb2929eb2834ea505cd8685de8db0c6f3216ec0
parent3642142dd08598c93ea595253f31d48ba501951e
Merge "Clarify and update DeferredUpdates docs"
includes/deferred/DeferredUpdates.php