diff -r 490d5cc509ed -r cf61fcea0001 wp/wp-admin/upgrade-functions.php
--- a/wp/wp-admin/upgrade-functions.php	Tue Jun 09 11:14:17 2015 +0000
+++ b/wp/wp-admin/upgrade-functions.php	Mon Oct 14 17:39:30 2019 +0200
@@ -8,5 +8,5 @@
  * @subpackage Administration
  */
 
-_deprecated_file( basename(__FILE__), '2.5', 'wp-admin/includes/upgrade.php' );
+_deprecated_file( basename(__FILE__), '2.5.0', 'wp-admin/includes/upgrade.php' );
 require_once(ABSPATH . 'wp-admin/includes/upgrade.php');