INC_POOL -> data renamed

diff --git a/inc/filters.php b/inc/filters.php
index 82f9dcb27ac6fd26cf9ab596e6a2160eb4e1417c..16b5020e5a82ad002f1048928cc3c3ac82c5cc4f 100644 (file)
--- a/inc/filters.php
+++ b/inc/filters.php
@@ -387,25 +387,25 @@ function FILTER_SOLVE_TASK ($data) {
 }
 
 // Filter to load include files
-function FILTER_LOAD_INCLUDES ($INC_POOL) {
+function FILTER_LOAD_INCLUDES ($data) {
        global $CSS;
 
        // Is it an array?
-       if ((!isset($INC_POOL)) || (!is_array($INC_POOL))) {
+       if ((!isset($data)) || (!is_array($data))) {
                // Then abort here
                DEBUG_LOG(__FILE__, __LINE__, "INC_POOL is no array!");
                return;
        } // END - if
 
        // Check for added include files
-       if (count($INC_POOL) > 0) {
+       if (count($data) > 0) {
                // Loads every include file
-               foreach ($INC_POOL as $fqfn) {
-                       require_once($fqfn);
+               foreach ($data as $FQFN) {
+                       require_once($FQFN);
                } // END - foreach
 
                // Reset array
-               $INC_POOL = array();
+               $data = array();
        } // END - if
 }