Index: class-wp-editor.php
===================================================================
--- class-wp-editor.php	(revision 41039)
+++ class-wp-editor.php	(working copy)
@@ -1418,6 +1418,7 @@
 	 * Print (output) the TinyMCE configuration and initialization scripts.
 	 *
 	 * @static
+     * @global string $tinymce_version
 	 */
 	public static function editor_js() {
 		global $tinymce_version;