cvs: phpdoc /en/functions java.xml

sbergmann Tue Jun 26 06:25:28 2001 EDT Modified files: /phpdoc/en/functions java.xml Log: -currently Index: phpdoc/en/functions/java.xml diff -u phpdoc/en/functions/java.xml:1.3 phpdoc/en/functions/java.xml:1.4 --- phpdoc/en/functions/java.xml:1.3 Fri Jun 22 22:34:00 2001 +++ phpdoc/en/functions/java.xml Tue Jun 26 06:25:28 2001 @@ -4,8 +4,8 @@ <partintro> <para> There are two possible ways to bridge PHP and Java: you can either - integrate Java into PHP or, which is the more currently stable and - efficient solution, integrate PHP into a Java Servlet environment. + integrate Java into PHP or, which is the more stable and efficient + solution, integrate PHP into a Java Servlet environment. The former is provided by ext/java, the latter by a SAPI module that interfaces with the Servlet server. </para>