json_encode($extra, JSON_UNESCAPED_UNICODE), ], "where", [ "username" => $user['username'] ] ]); echo "Updated user {$user['username']} ({$extra['school']}).\n"; } } };