+
+ if ( '.php' == substr( $real_file, strrpos( $real_file, '.' ) ) ) {
+ $functions = wp_doc_link_parse( $content );
+
+ $docs_select = '<select name="docs-list" id="docs-list">';
+ $docs_select .= '<option value="">' . esc_attr__( 'Function Name...' ) . '</option>';
+ foreach ( $functions as $function ) {
+ $docs_select .= '<option value="' . esc_attr( urlencode( $function ) ) . '">' . htmlspecialchars( $function ) . '()</option>';
+ }
+ $docs_select .= '</select>';
+ }
+
+ $content = htmlspecialchars( $content );
+ $codepress_lang = codepress_get_lang($real_file);