Index: wp-settings.php
===================================================================
--- wp-settings.php	(revision 44822)
+++ wp-settings.php	(working copy)
@@ -31,10 +31,17 @@
 // Make sure we register the shutdown handler for fatal errors as soon as possible.
 wp_register_fatal_error_handler();
 
-/*
+/**
  * These can't be directly globalized in version.php. When updating,
  * we're including version.php from another installation and don't want
  * these values to be overridden if already set.
+ *
+ * @global string $wp_version
+ * @global string $wp_db_version
+ * @global string $tinymce_version
+ * @global string $required_php_version
+ * @global string $required_mysql_version
+ * @global string $wp_local_package
  */
 global $wp_version, $wp_db_version, $tinymce_version, $required_php_version, $required_mysql_version, $wp_local_package;
 require( ABSPATH . WPINC . '/version.php' );