WordPress.org

Make WordPress Core

Ticket #18091: 18091.patch

File 18091.patch, 1.3 KB (added by SergeyBiryukov, 4 years ago)
  • wp-includes/functions.php

     
    843843        if ( isset( $_COOKIE['wp-settings-' . $user->ID] ) ) { 
    844844                $cookie = preg_replace( '/[^A-Za-z0-9=&_]/', '', $_COOKIE['wp-settings-' . $user->ID] ); 
    845845 
    846                 if ( ! empty( $cookie ) && strpos( $cookie, '=' ) ) { 
    847                         if ( $cookie == $settings ) 
    848                                 return; 
     846                if ( $cookie == $settings ) 
     847                        return; 
    849848 
    850                         $last_time = (int) get_user_option( 'user-settings-time', $user->ID ); 
    851                         $saved = isset( $_COOKIE['wp-settings-time-' . $user->ID]) ? preg_replace( '/[^0-9]/', '', $_COOKIE['wp-settings-time-' . $user->ID] ) : 0; 
     849                $last_time = (int) get_user_option( 'user-settings-time', $user->ID ); 
     850                $saved = isset( $_COOKIE['wp-settings-time-' . $user->ID]) ? preg_replace( '/[^0-9]/', '', $_COOKIE['wp-settings-time-' . $user->ID] ) : 0; 
    852851 
    853                         if ( $saved > $last_time ) { 
    854                                 update_user_option( $user->ID, 'user-settings', $cookie, false ); 
    855                                 update_user_option( $user->ID, 'user-settings-time', time() - 5, false ); 
    856                                 return; 
    857                         } 
     852                if ( $saved > $last_time ) { 
     853                        update_user_option( $user->ID, 'user-settings', $cookie, false ); 
     854                        update_user_option( $user->ID, 'user-settings-time', time() - 5, false ); 
     855                        return; 
    858856                } 
    859857        } 
    860858