Is there a tool to convert Java, JavaScript or Python to PHP?
<p>I am interested in usging the library <a href="http://code.google.com/p/google-diff-match-patch/" rel="nofollow">google-diff-match-patch</a> with PHP. Unfortunately it is not available in this language. It is available "only" in Java, JavaScript, Dart, C++, C#, Objective C, Lua and Python. </p>

<p>So is there a tool to automatically convert one of those language into PHP ? Do you have other suggestions how I could use this library with PHP. I would like to avoid calling it via <code>exec()</code> to make the installation of my program simpler.</p>
