芝麻web文件管理V1.00

编辑当前文件:/home/mgatv524/public_html/fmd/vendor/gettext/gettext/src/Generators/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(self::toArray($translations, $options['includeHeaders']), $options['json']); } }