WordPress.org
Get WordPress

Making WordPress.org


Ignore:
Timestamp:
06/29/2018 08:57:02 PM (7 years ago)
Author:
obenland
Message:

Main: phpcs updates

File:
1 edited

Legend:

Unmodified
Added
Removed

  • sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-main/header-child-page.php

    r7218 r7350  
    3232                            // The last found menu item that patches is the one that's shown as active.
    3333                            foreach ( $menu_items as $path => $text ) {
     34                                // phpcs:ignore WordPress.VIP
    3435                                if ( false !== strpos( $_SERVER['REQUEST_URI'], $path ) ) {
    3536                                    $active_item = $path;
Note: See TracChangeset for help on using the changeset viewer.