diff --git a/src/etc/inc/util.inc b/src/etc/inc/util.inc index b412a1a2e..1b185c5d6 100644 --- a/src/etc/inc/util.inc +++ b/src/etc/inc/util.inc @@ -978,8 +978,7 @@ function mwexec_bg($command, $mute = false) /* check if an alias exists */ function is_alias($name) { global $aliastable; - - return isset($aliastable[$name]); + return array_key_exists($name, $aliastable); } function alias_get_type($name) {