Merge "(bug 35884) width:auto unneeded on header element"
authorBrion VIBBER <brion@wikimedia.org>
Sat, 21 Apr 2012 19:36:38 +0000 (19:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 21 Apr 2012 19:36:39 +0000 (19:36 +0000)

Trivial merge