ajaxPostTimeout doesn't have to be multiplied by 1000, because it is use...

...d as is on ScriptRenderer, so the client should just get the same value in both cases

(well, ajaxPostTimeout should be the same timeout + 500ms)

fixes #1617