diff options
| author | Erich Eckner <git@eckner.net> | 2019-02-22 10:37:48 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-02-22 10:37:48 +0100 |
| commit | da8303504d0b27f296b2109e13c48f704a85d3f9 (patch) | |
| tree | dff3416153d81111df0bebaa22ef9ceae7e98b50 /lib | |
| parent | bc4b84d128177e7b640dfac901161e00c100e439 (diff) | |
| download | archweb32-da8303504d0b27f296b2109e13c48f704a85d3f9.tar.xz | |
lib/helper.php: use array_key_exists()
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/helper.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/helper.php b/lib/helper.php index 59c9622..29902b7 100644 --- a/lib/helper.php +++ b/lib/helper.php @@ -160,7 +160,7 @@ function git_url($repository,$type,$commit,$path,$line = null,$commit_is_hash = }; function if_unset($array, $index, $default) { - if (isset($array[$index])) + if (array_key_exists($index, $array)) return $array[$index]; else return $default; |