JavaScript to PHP source-to-source tranpiler.