WoltLab/WCF — pull request #995 by Gravatronics (2012-12-24 12:58:31+00:00)
Title: Changes input type of IntegerOptionType from text to number

You're already using `number` in static forms (at least during in the last weeks).