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