JavaScript to PHP source-to-source transpiler.