芝麻web文件管理V1.00
编辑当前文件:/home/mgatv524/public_html/shimoda/vendor/gettext/gettext/src/Generators/JsonDictionary.php
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']); } }