Use String(val) instead of val.toString().
authorDaniel Carl <danielcarl@gmx.de>
Sat, 9 Aug 2014 16:07:09 +0000 (18:07 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Sat, 9 Aug 2014 16:17:55 +0000 (18:17 +0200)
commitbe9f3daa6c1969bc2c30b0e954d2e7c19328abb0
tree69d7f90412e5ad417d1cc37d939a3279fd555381
parenta9404c9fb8a63a14cfcd65c0c77dadd4be88767f
Use String(val) instead of val.toString().

This seems to be a little faster in current JavaScript implementation of
webkit.
src/hints.js