Comment 6 for bug 348858

Andreas,

Are you sure about this part in the hardy debdiff:

+Index: mediawiki-1.11.2/includes/GlobalFunctions.php
+===================================================================
+--- mediawiki-1.11.2.orig/includes/GlobalFunctions.php 2008-03-03 08:09:26.000000000 +0100
++++ mediawiki-1.11.2/includes/GlobalFunctions.php 2009-03-26 09:40:33.000000000 +0100
+@@ -2320,4 +2320,19 @@
+ return wfIsWindows()
+ ? 'NUL'
+ : '/dev/null';
+-}
+\ No newline at end of file
++}
++

I think the "No newline..." part is a mistake, and now, it's included in the function...