Making WordPress.org


Ignore:
Timestamp:
11/18/2014 08:02:05 AM (9 years ago)
Author:
coffee2code
Message:

developer.wordpress.org: add search form to internal pages

fixes #493.
props nlarnold1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/header.php

    r785 r990  
    2525        </div><!-- .inner-wrap -->
    2626    </header><!-- #masthead -->
     27    <?php
     28    if ( DevHub\should_show_search_bar() ) : ?>
     29        <div id="inner-search">
     30            <?php get_search_form(); ?>
     31            <div id="inner-search-icon-container">
     32                <div id="inner-search-icon">
     33                    <div class="dashicons dashicons-search"></div>
     34                </div>
     35            </div>
     36        </div>
     37
     38    <?php endif; ?>
    2739    <div id="content" class="site-content">
Note: See TracChangeset for help on using the changeset viewer.