Correct type for preg_quote