danbeck Tue Jun 26 16:08:25 2001 EDT
Modified files:
/phpdoc/en/functions java.xml
Log:
additional grammer correction
Index: phpdoc/en/functions/java.xml
diff -u phpdoc/en/functions/java.xml:1.4 phpdoc/en/functions/java.xml:1.5
--- phpdoc/en/functions/java.xml:1.4 Tue Jun 26 06:25:28 2001
+++ phpdoc/en/functions/java.xml Tue Jun 26 16:08:25 2001
@@ -4,12 +4,12 @@
<partintro>
<para>
There are two possible ways to bridge PHP and Java: you can either
- integrate Java into PHP or, which is the more stable and efficient
- solution, integrate PHP into a Java Servlet environment.
+ integrate Java into PHP, which is the more stable and efficient
+ solution, or 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>
- <para>
+ <para>
PHP 4 ext/java provides a simple and effective means for creating and
invoking methods on Java objects from PHP. The JVM is created using JNI,
and everything runs in-process. Build instructions for ext/java can be