Merge "Soft deprecate $wgStyleVersion (add @deprecated)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 27 Nov 2017 20:57:36 +0000 (20:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 27 Nov 2017 20:57:36 +0000 (20:57 +0000)
commit5d8089626e31c7112f763fa0cdf27239d9c8b5d0
tree21ff5bfe5568aaef67202351da5bc39c7422cd2b
parent30b29edfae7efa3505babdd9a2c472b4b30810b8
parente00925d751d1ea1082f588418a28100aaf642b80
Merge "Soft deprecate $wgStyleVersion (add @deprecated)"