diff -r 346c88efed21 -r 5e2f62d02dcd wp/wp-admin/upgrade-functions.php
--- a/wp/wp-admin/upgrade-functions.php	Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-admin/upgrade-functions.php	Tue Jun 09 03:35:32 2015 +0200
@@ -3,7 +3,7 @@
  * WordPress Upgrade Functions. Old file, must not be used. Include
  * wp-admin/includes/upgrade.php instead.
  *
- * @deprecated 2.5
+ * @deprecated 2.5.0
  * @package WordPress
  * @subpackage Administration
  */