diff --git a/wp-admin/menu-header.php b/wp-admin/menu-header.php
index 11c17db3da..db4123c09f 100644
--- a/wp-admin/menu-header.php
+++ b/wp-admin/menu-header.php
@@ -22,6 +22,7 @@ $self = preg_replace('|^.*/mu-plugins/|i', '', $self);
  * @global array  $menu
  * @global array  $submenu
  * @global string $parent_file
+ * @global string $submenu_file
  */
 global $menu, $submenu, $parent_file, $submenu_file;
 
diff --git a/wp-includes/version.php b/wp-includes/version.php
index 33c7688306..00b49e3d40 100644
--- a/wp-includes/version.php
+++ b/wp-includes/version.php
@@ -4,7 +4,7 @@
  *
  * @global string $wp_version
  */
-$wp_version = '4.4-alpha-34724';
+$wp_version = '4.4-alpha-34725';
 
 /**
  * Holds the WordPress DB revision, increments when changes are made to the WordPress DB schema.