[patch] for mirror_list.pl

[victory.deb@gmail.com]

output_type option 'nonusshort' is not there anymore,
and there are compact-nonus, compact-old and wml-nonus instead.

-- 
victory
---
Index: mirror_list.pl
===================================================================
RCS file: /cvsroot/webwml/webwml/english/mirror/mirror_list.pl,v
retrieving revision 1.140
diff -u -r1.140 mirror_list.pl
--- mirror_list.pl	3 May 2009 21:18:57 -0000	1.140
+++ mirror_list.pl	18 Oct 2009 11:48:22 -0000
@@ -1821,7 +1821,9 @@
     fullmethods
     nonus
     nonushtml
-    nonusshort
+    compact-nonus
+    compact-old
+    wml-nonus
     officialsponsors
     sponsors
     cdimages-httpftp