From e209ed46626eed093d5cb88faedb162a5a384599 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 17 May 2008 13:24:28 +0000
Subject: [PATCH] SPL extension is required

---
 Documentation.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Documentation.html b/Documentation.html
index 6d70f3d78..4e0476185 100644
--- a/Documentation.html
+++ b/Documentation.html
@@ -58,7 +58,8 @@
 <ul><li><b>PHP</b>
         <ul><li>You need PHP 5.2.0 or newer, with <tt>session</tt> support
                 (<a href="#faq1_31">see
-                <abbr title="Frequently Asked Questions">FAQ</abbr> 1.31</a>)
+			<abbr title="Frequently Asked Questions">FAQ</abbr> 1.31</a>)
+		and the Standard PHP Library (SPL) extension.
                 </li>
             <li>You need GD2 support in PHP to display inline
                 thumbnails of JPEGs (&quot;image/jpeg: inline&quot;) with their