--- a/wp/wp-admin/admin-functions.php	Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-admin/admin-functions.php	Tue Jun 09 03:35:32 2015 +0200
@@ -4,7 +4,7 @@
  *
  * This file is deprecated, use 'wp-admin/includes/admin.php' instead.
  *
- * @deprecated 2.5
+ * @deprecated 2.5.0
  * @package WordPress
  * @subpackage Administration
  */