use of  for default_htmlspecialchars_encoding variable