Fix minor bug.

www/showexp_list.php3

@@ -31,16 +31,6 @@ $having      = "";
 $active      = 0;
 $idle        = 0;
 
-function MakeMouseOver($string)
-{
-    $string = ereg_replace("\n", "<br>", $string);
-    $string = ereg_replace("\r", "", $string);
-    $string = htmlentities($string);
-    $string = preg_replace("/\'/", "\&\#039;", $string);
-
-    return "onmouseover=\"return escape('$string')\"";
-}
-
 #
 # Hack for NSDI deadline. Generalize later.
 #