芝麻web文件管理V1.00
编辑当前文件:/home/mgatv524/public_html/avenida/vendor/gettext/gettext/src/Utils/HeadersExtractorTrait.php
setHeader($currentHeader, $header[1]); } else { $entry = $translations->getHeader($currentHeader); $translations->setHeader($currentHeader, $entry.$line); } } } /** * Checks if it is a header definition line. Useful for distguishing between header definitions * and possible continuations of a header entry. * * @param string $line Line to parse * * @return bool */ private static function isHeaderDefinition($line) { return (bool) preg_match('/^[\w-]+:/', $line); } /** * Normalize a string. * * @param string $value * * @return string */ public static function convertString($value) { return $value; } }