# HG changeset patch # User Matti Hamalainen # Date 1711452226 -7200 # Node ID 91dfafad1c3322dd7cf59811df28e20214e3e857 # Parent b58f261314f82f2aa9315509930767aafe163448# Parent 9626cbbc9238b15a24dd6604aa3c4af625ea1d82 Merge. diff -r 9626cbbc9238 -r 91dfafad1c33 www/loc.php --- a/www/loc.php Sat Mar 23 20:33:57 2024 +0200 +++ b/www/loc.php Tue Mar 26 13:23:46 2024 +0200 @@ -50,12 +50,12 @@ if (isset($key) && isset($arr[$key])) { $result = $arr[$key]; - return TRUE; + return true; } else { unset($result); - return FALSE; + return false; } }