Undefined variable: locked in Mutexes.php on line 13