Merge "GlobalFunctions: Tighten version number type for wfDeprecated()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 1 Jul 2019 21:42:10 +0000 (21:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 1 Jul 2019 21:42:10 +0000 (21:42 +0000)
commit3d44c585d999251116bac464f4b4a30022a2e204
tree327be590875bf14be45f44569e2ef79f60097b4a
parentb08b334d599de59ffe1eabb1762a73b94d9deb71
parent49bbfc7f1f184c2a22b0919a16b6c9dcac2e7536
Merge "GlobalFunctions: Tighten version number type for wfDeprecated()"