public static function escapeHtmlRawText($s) { return preg_replace('#</(script|style)#i', '<\\/$1', $s); }