Index: default-constants.php
--- default-constants.php BASE
+++ default-constants.php LOCAL
@@ -13,6 +13,7 @@
  * @since 3.0.0
  *
  * @global int $blog_id
+ * @global string $wp_version
  */
 function wp_initial_constants() {
 	global $blog_id;