Ticket #5764: media-buttons-r6744.patch

wp-includes/general-template.php

@@ -957 +957 @@
                         document.getElementById('editor-toolbar').style.display = 'block';
         // ]]>
         </script>
+        
+        <?php else: // Rich editor is disabled in profile but we still need the media buttons   ?>
+                
+        <div id='editor-toolbar' style='display:block;'>
+                <div id="media-buttons">
+                <?php _e('Add media:'); ?>
+                <?php do_action( 'media_buttons'); ?>
+                </div>
+        </div>
 
         <?php endif; // user_can_richedit() ?>