cvs: phpdoc /en/functions java.xml

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