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>