From b8d3ff060a3ef0c93417cd1dc1a76684549bc64e Mon Sep 17 00:00:00 2001
From: Ian Bell <ian.h.bell@gmail.com>
Date: Mon, 11 Aug 2014 20:46:49 +0200
Subject: [PATCH] Update Php.html

Short summary of the fact that dl() function can no longer be used.
---
 Doc/Manual/Php.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Doc/Manual/Php.html b/Doc/Manual/Php.html
index 7e5cccf6a..3e7cf54db 100644
--- a/Doc/Manual/Php.html
+++ b/Doc/Manual/Php.html
@@ -115,7 +115,11 @@ The usual (and recommended) way is to build the extension as a separate
 dynamically loaded module (which is supported by all modern operating
 systems).  You can then specify that this be loaded
 automatically in <tt>php.ini</tt> or load it explicitly for any script which
-needs it.
+needs it.  As of version 5.3 of PHP, the <a href="http://php.net/manual/en/function.dl.php">dl() 
+function</a> cannot be used and your only option is to  
+add to the <tt>php.ini</tt> something like
+
+extension = /usr/lib64/php/modules/mymodule.so
 </p>
 
 <p>