index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-11-08 11:16:03 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-11-08 11:16:03 +0100 |
commit | 3e2387ab42cb42bda60940449641c49bd0e09e35 (patch) | |
tree | 8ca07bba9e90eb2b7c52b2c54b93d23bffa373b3 | |
parent | 156df01c61ba56b005cff6777eb562a010f2a4c2 (diff) |
-rw-r--r-- | lib/helper.php | 7 |
diff --git a/lib/helper.php b/lib/helper.php index ffa5943..84cb69c 100644 --- a/lib/helper.php +++ b/lib/helper.php @@ -162,3 +162,10 @@ function git_url($repository,$type,$commit,$path,$line = null,$commit_is_hash = } }; }; + +function if_unset($array, $index, $default) { + if (isset($array[$index])) + return $array[$index]; + else + return $default; +}; |