Merge "Don't discourage usage of Html::element()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 9 Jan 2015 07:31:26 +0000 (07:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 9 Jan 2015 07:31:26 +0000 (07:31 +0000)
commit7933ef3bf541a743dace3caaf8027bb87f2c4120
tree142421be160ad61371d8772f3ad10eac79df4163
parent6b66221bda831554bb40437a925e2625232f81ce
parent5e93f8375877ec5ed0e81797b94b6b0e1ff7b249
Merge "Don't discourage usage of Html::element()"