From d7c90929d9a0dc7595547325f34556a952853e11 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sbergmann@php.net>
Date: Tue, 26 Jun 2001 04:25:28 +0000
Subject: [PATCH] -currently

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@50192 c90b9560-bf6c-de11-be94-00142212c4b1
---
 functions/java.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/functions/java.xml b/functions/java.xml
index 6a70f007f1..04b14d8b48 100644
--- a/functions/java.xml
+++ b/functions/java.xml
@@ -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>