# HG changeset patch # User Matti Hamalainen # Date 1711452216 -7200 # Node ID b58f261314f82f2aa9315509930767aafe163448 # Parent df33de0f2a78720af381a84039a718e0d1dc8150 Cleanup. diff -r df33de0f2a78 -r b58f261314f8 www/loc.php --- a/www/loc.php Sun Mar 17 15:04:48 2024 +0200 +++ b/www/loc.php Tue Mar 26 13:23:36 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; } }