Changeset 10607 for trunk/wp-admin/plugin-editor.php

Timestamp:

02/20/2009 08:00:09 PM (16 years ago)

Author:

ryan

Message:

Add documentation lookup shortcuts to Theme and Plugin Editors. Props beaulebens. fixes #9184

File:

• trunk/wp-admin/plugin-editor.php (modified) (3 diffs)

trunk/wp-admin/plugin-editor.php

@@ -82 +82 @@
         $error = 1;
 
-    if ( ! $error )
-        $content = htmlspecialchars(file_get_contents($real_file));
+    if ( ! $error ) {
+        $content = file_get_contents( $real_file );
+        
+        if ( 'php' == mb_substr( $real_file, mb_strrpos( $real_file, '.' ) + 1 ) ) {
+            $functions = wp_doc_link_parse( $content );
+            
+            $docs_select = '<select name="docs-list" id="docs-list">';
+            $docs_select .= '<option value="">' . __( 'Function Name...' ) . '</option>';
+            foreach ( $functions as $function) {
+                $docs_select .= '<option value="' . urlencode( $function ) . '">' . htmlspecialchars( $function ) . '()</option>';
+            }
+            $docs_select .= '</select>';
+        }
+        
+        $content = htmlspecialchars( $content );
+    }
 
     ?>
@@ -125 +139 @@
     <ul>
 <?php foreach($plugin_files as $plugin_file) : ?>
-        <li><a href="plugin-editor.php?file=<?php echo $plugin_file; ?>"><?php echo $plugins[$plugin_file]['Name']; ?></a></li>
+        <li<?php echo $file == $plugin_file ? ' class="highlight"' : ''; ?>><a href="plugin-editor.php?file=<?php echo $plugin_file; ?>"><?php echo $plugins[$plugin_file]['Name']; ?></a></li>
 <?php endforeach; ?>
     </ul>
@@ -136 +150 @@
         <input type="hidden" name="file" value="<?php echo $file ?>" />
         </div>
+        <?php if ( count( $functions ) ) : ?>
+        <div id="documentation"><label for="docs-list">Documentation:</label> <?php echo $docs_select ?> <input type="button" class="button" value=" <?php _e( 'Lookup' ) ?> " onclick="if ( '' != jQuery('#docs-list').val() ) { window.open( 'http://api.wordpress.org/core/handbook/1.0/?function=' + escape( jQuery( '#docs-list' ).val() ) + '&locale=<?php echo urlencode( get_locale() ) ?>&version=<?php echo urlencode( $wp_version ) ?>&redirect=true'); }" /></div>
+        <?php endif; ?>
 <?php if ( is_writeable($real_file) ) : ?>
     <?php if ( in_array($file, (array) get_option('active_plugins')) ) { ?>