protected function lib_quote($args) { $value = $args[0]; if ($value[0] == "string" && !empty($value[1])) { return $value; } return array("string", '"', array($value)); }