editorQuotedKeys ?? false; } } public static function save(string $filename): void { $data = json_encode([ 'editorQuotedKeys' => self::$editorQuotedKeys ], JSON_UNESCAPED_SLASHES|JSON_PRETTY_PRINT)."\n"; @file_put_contents($filename, $data); } public static function set(string $key, mixed $value): void { switch ($key) { case 'editorQuotedKeys': self::$editorQuotedKeys = (bool)$value; break; } } }