From: Marcel Werk Date: Mon, 24 Dec 2012 22:56:56 +0000 (-0800) Subject: Merge pull request #995 from Gravatronics/enhancement/integerOptionType X-Git-Tag: 2.0.0_Beta_1~639^2~7^2~2 X-Git-Url: https://git.stricted.de/?a=commitdiff_plain;h=d8d4fba6dc4d032b418e25166958d88970a80703;p=GitHub%2FWoltLab%2FWCF.git Merge pull request #995 from Gravatronics/enhancement/integerOptionType Changes input type of IntegerOptionType from text to number --- d8d4fba6dc4d032b418e25166958d88970a80703