From 8b3f13f5c5a7d10f78368c097652c0953eea51ed Mon Sep 17 00:00:00 2001
From: Friedhelm Betz <betz@php.net>
Date: Sat, 11 Jan 2003 09:57:37 +0000
Subject: [PATCH] WS fix

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

diff --git a/language/types.xml b/language/types.xml
index ae81d3f795..6a13b2a4c4 100644
--- a/language/types.xml
+++ b/language/types.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.98 $ -->
+<!-- $Revision: 1.99 $ -->
  <chapter id="language.types">
   <title>Types</title>
 
@@ -352,7 +352,7 @@ integer     : [+-]?decimal
       The size of an integer is platform-dependent, although a 
       maximum value of about two billion is the usual value 
       (that's 32 bits signed). PHP does not support unsigned
-	  integers.
+      integers.
      </para>
     </sect2>