Merge "Set default type attribute for button html elements"
authorAnomie <bjorsch@wikimedia.org>
Tue, 13 Nov 2012 23:08:16 +0000 (23:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Nov 2012 23:08:16 +0000 (23:08 +0000)
commita62274a1579e0e320becc416df1adc9885e53c25
tree444a81c47b72d6608fb36cb8319491d5ed3d2755
parent1c8b2766c7397877488a5ac615a94224eb5305c1
parent514bdd184d7e736b393210524f996c51059fcedb
Merge "Set default type attribute for button html elements"
includes/Html.php