Fix for unencoded ampersands. When did we lose this?

git-svn-id: http://svn.automattic.com/wordpress/trunk@1361 1a063a9b-81f0-0310-95a4-ce76da25c4cd

wp-includes/functions-formatting.php

@@ -43,6 +43,7 @@ function wptexturize($text) {
 		} else {
 			$next = true;
 		}
+		$curl = preg_replace('/&([^#])(?![a-z]{1,8};)/', '&$1', $curl);
 		$output .= $curl;
 	}
 	return $output;
@@ -413,4 +414,4 @@ function get_date_from_gmt($string) {
   return $string_localtime;
 }
 
-?>
+?>