From 66e8672fc0902220e5a606438d208f7a8e52ddd5 Mon Sep 17 00:00:00 2001
From: Emiel Bruijntjes <emiel.bruijntjes@copernica.com>
Date: Mon, 28 Apr 2014 13:40:40 +0200
Subject: [PATCH] small fix to php.ini documentation

---
 documentation/ini.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/documentation/ini.html b/documentation/ini.html
index 3d40d390..c5c512bb 100644
--- a/documentation/ini.html
+++ b/documentation/ini.html
@@ -50,7 +50,7 @@ <h1>Reading php.ini variables</h1>
 </p>
 <p>
     You can only retrieve <i>predefined</i> variables from the php.ini. It is thus not 
-    possible to call Php::ini_get() with random strings. If you want to define
+    possible to call Php::ini_get() with random strings. If you want to use
     your own variables, you must first register them in the get_module()
     function before you can call Php::ini_get() to retrieve the current values.
 </p>