From 0a91bc00b7ea06f2f65c1c1a42dd274b2a560556 Mon Sep 17 00:00:00 2001 From: Miles Lott Date: Tue, 23 Apr 2002 02:18:30 +0000 Subject: [PATCH] Use is_array() instead of gettype() --- phpgwapi/inc/class.preferences.inc.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/phpgwapi/inc/class.preferences.inc.php b/phpgwapi/inc/class.preferences.inc.php index 666ae1779e..02efbaf855 100644 --- a/phpgwapi/inc/class.preferences.inc.php +++ b/phpgwapi/inc/class.preferences.inc.php @@ -306,7 +306,7 @@ */ function verify_basic_settings() { - if (gettype($GLOBALS['phpgw_info']['user']['preferences']) != 'array') + if (!@is_array($GLOBALS['phpgw_info']['user']['preferences'])) { $GLOBALS['phpgw_info']['user']['preferences'] = array(); }