Dashboard
PHP:
8.2.30
OS:
Linux
User:
dh_nv8b2m
/
/
usr
/
local
/
wp
/
vendor
/
gettext
/
gettext
/
src
/
Generators
📤 Upload
📝 New File
📁 New Folder
Close
Editing: JsonDictionary.php
<?php namespace Gettext\Generators; use Gettext\Translations; use Gettext\Utils\DictionaryTrait; class JsonDictionary extends Generator implements GeneratorInterface { use DictionaryTrait; public static $options = [ 'json' => 0, 'includeHeaders' => false, ]; /** * {@parentDoc}. */ public static function toString(Translations $translations, array $options = []) { $options += static::$options; return json_encode(static::toArray($translations, $options['includeHeaders']), $options['json']); } }
Save
Cancel