Merge "(bug 39700) Add htmlspecialchars encoding to label"
authorcsteipp <csteipp@wikimedia.org>
Fri, 31 Aug 2012 22:05:04 +0000 (22:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 31 Aug 2012 22:05:04 +0000 (22:05 +0000)

Trivial merge