// Is it an array?
if ((!isset($data)) || (!is_array($data))) {
// Then abort here
- debug_report_bug(sprintf("INC_POOL is no array! Type: %s", $INC_POOL));
+ debug_report_bug(sprintf("INC_POOL is no array! Type: %s", gettype($INC_POOL)));
} elseif (isset($data['inc_pool'])) {
// Use this as new inclusion pool!
$INC_POOL = $data['inc_pool'];