Merge "Hide marked empty elements by default (stage 1)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 14 Jul 2016 21:38:56 +0000 (21:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 14 Jul 2016 21:38:56 +0000 (21:38 +0000)
commit4d0d2dd13670ba9059e37136039908a7a86a1dd7
tree2892bfd62eabac7a41d08ca50823a864be95c1c2
parentd0e3551cda08caf3a0086f1ef8bbb3f0f991f520
parentd3d682fb45189c7437b6344c40b6024557bc06e0
Merge "Hide marked empty elements by default (stage 1)"
includes/OutputPage.php