webmcp
diff framework/env/ui/paginate.lua @ 427:f0303fca9218
Decode some JSON numbers (those without decimal point or exponential notation) as Lua integers
author | jbe |
---|---|
date | Thu Jan 14 17:13:48 2016 +0100 (2016-01-14) |
parents | 8cf6d927d074 |
children | c43f251262d8 |
line diff