Safer init...

diff --git a/inc/load_extensions.php b/inc/load_extensions.php
index aa14de23a4675a910b27e09767ca30a26e26f77b..ad2298df621875eb83f35689322470219b8d83c9 100644 (file)
--- a/inc/load_extensions.php
+++ b/inc/load_extensions.php
@@ -57,6 +57,9 @@ $GLOBALS['cacheMode'] = "no";
 // Load sql_patchrs extension alone
 LOAD_EXTENSION("sql_patches");
 
+// Init inc pool array
+$INC_POOL = array();
+
 //
 // Load extensions
 //