Merge "Improve documentation of wfDeprecated"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 1 Jan 2019 14:16:12 +0000 (14:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 1 Jan 2019 14:16:12 +0000 (14:16 +0000)
commitae0bfd2e030b5fa584b5b4bd389e93104f0a1b5c
tree722606ad20ee9a9e5e71967440054dff3090c92a
parent3da5e58a079785e3abd5cd727d289a00632f4086
parent2bb276f07d2f291413fd41e0c62872ef39caed6e
Merge "Improve documentation of wfDeprecated"