Use number input type for year in dateMenu
authorrobin <robinp.1273@gmail.com>
Mon, 17 Sep 2012 00:52:55 +0000 (02:52 +0200)
committerrobin <robinp.1273@gmail.com>
Mon, 17 Sep 2012 19:47:19 +0000 (21:47 +0200)
commit7405ad3999c633d31ba3e06e8c66c11d9b907933
tree2dfa553552b5281fcc21987faaf606c09b76e246
parent14d159af7e812cfba27220eba2b61ba6ca2b3e09
Use number input type for year in dateMenu

Use the HTML5 number input type for the year input field in the dateMenu (used on e.g. history pages), since a year is always a number :)
(There was once a year type proposed, but that didn't make it into HTML5)

Patchset 2: use Html::input instead of Xml::input (and change the other Xml's to self::)

Change-Id: If9ad28566abfc02a164367d7cdd6992939169c0a
includes/Xml.php