Making WordPress.org

Ticket #4109: 4109-plugins.diff

File 4109-plugins.diff, 772 bytes (added by tellyworth, 6 years ago)

One possible solution as applied to the plugins directory

  • header.php

     
    1818);
    1919
    2020$GLOBALS['pagetitle'] = wp_get_document_title();
     21$GLOBALS['wporg_global_header_options'] = array(
     22        'in_wrapper' => '<a class="skip-link screen-reader-text" href="#main">' . esc_html( 'Skip to content', 'wporg-plugins' ) . '</a>',
     23);
    2124require WPORGPATH . 'header.php';
    2225?>
    2326<div id="page" class="site">
    24         <a class="skip-link screen-reader-text" href="#main"><?php esc_html_e( 'Skip to content', 'wporg-plugins' ); ?></a>
    25 
    2627        <div id="content" class="site-content">
    2728                <header id="masthead" class="site-header <?php echo is_home() ? 'home' : ''; ?>" role="banner">
    2829                        <div class="site-branding">