mirrors/h5ai
1
0
Fork 0
mirror of https://github.com/lrsjng/h5ai.git synced 2025-05-28 14:04:45 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Some comments.

Browse source
This commit is contained in:
Lars Jung 2013-07-10 23:11:44 +02:00
parent 63115432ce
commit 5f27518852
2 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/_h5ai/server/php/inc/util.php
View file

@ -77,6 +77,7 @@ function load_commented_json($file) {
return json_decode($str, true);
}
/* unused
function merge_config($a, $b) {
$result = array_merge(array(), $a);
@ -87,5 +88,6 @@ function merge_config($a, $b) {
return $result;
}
*/
?>