diff -r 2f6f6f7551ca -r 32102edaa81b web/wp-admin/upgrade-functions.php
--- a/web/wp-admin/upgrade-functions.php	Thu Sep 16 15:45:36 2010 +0000
+++ b/web/wp-admin/upgrade-functions.php	Mon Nov 19 18:26:13 2012 +0100
@@ -10,4 +10,3 @@
 
 _deprecated_file( basename(__FILE__), '2.5', 'wp-admin/includes/upgrade.php' );
 require_once(ABSPATH . 'wp-admin/includes/upgrade.php');
-?>