Index: class-wp-editor.php
===================================================================
--- class-wp-editor.php	(revision 40847)
+++ class-wp-editor.php	(working copy)
@@ -928,6 +928,7 @@
 	 * Returns the default TinyMCE settings.
 	 * Doesn't include plugins, buttons, editor selector.
 	 *
+	 * @global string $tinymce_version
 	 * @return array
 	 */
 	private static function default_settings() {