Changeset 49108 for trunk/src/wp-includes/general-template.php

Timestamp:

10/08/2020 09:13:57 PM (4 years ago)

Author:

SergeyBiryukov

Message:

General: Replace older-style PHP type conversion functions with type casts.

This improves performance, readability, and consistency throughout core.

• intval() → (int)
• strval() → (string)
• floatval() → (float)

Props ayeshrajans.
Fixes #42918.

File:

• trunk/src/wp-includes/general-template.php (modified) (5 diffs)

trunk/src/wp-includes/general-template.php

@@ -1340 +1340 @@
         $my_year  = substr( $m, 0, 4 );
         $my_month = $wp_locale->get_month( substr( $m, 4, 2 ) );
-        $my_day   = intval( substr( $m, 6, 2 ) );
+        $my_day   = (int) substr( $m, 6, 2 );
         $title    = $my_year . ( $my_month ? $t_sep . $my_month : '' ) . ( $my_day ? $t_sep . $my_day : '' );
     }
@@ -2224 +2224 @@
     // Let's figure out when we are.
     if ( ! empty( $monthnum ) && ! empty( $year ) ) {
-        $thismonth = zeroise( intval( $monthnum ), 2 );
+        $thismonth = zeroise( (int) $monthnum, 2 );
         $thisyear  = (int) $year;
     } elseif ( ! empty( $w ) ) {
@@ -3150 +3150 @@
         }
     } elseif ( is_author() ) {
-        $author_id = intval( get_query_var( 'author' ) );
+        $author_id = (int) get_query_var( 'author' );
 
         $title = sprintf( $args['authortitle'], get_bloginfo( 'name' ), $args['separator'], get_the_author_meta( 'display_name', $author_id ) );
@@ -3460 +3460 @@
         if ( 'true' === get_user_option( 'rich_editing' ) || ! is_user_logged_in() ) { // Default to 'true' for logged out users.
             if ( $is_safari ) {
-                $wp_rich_edit = ! wp_is_mobile() || ( preg_match( '!AppleWebKit/(\d+)!', $_SERVER['HTTP_USER_AGENT'], $match ) && intval( $match[1] ) >= 534 );
+                $wp_rich_edit = ! wp_is_mobile() || ( preg_match( '!AppleWebKit/(\d+)!', $_SERVER['HTTP_USER_AGENT'], $match ) && (int) $match[1] >= 534 );
             } elseif ( $is_IE ) {
                 $wp_rich_edit = ( strpos( $_SERVER['HTTP_USER_AGENT'], 'Trident/7.0;' ) !== false );
@@ -4196 +4196 @@
     // Get max pages and current page out of the current query, if available.
     $total   = isset( $wp_query->max_num_pages ) ? $wp_query->max_num_pages : 1;
-    $current = get_query_var( 'paged' ) ? intval( get_query_var( 'paged' ) ) : 1;
+    $current = get_query_var( 'paged' ) ? (int) get_query_var( 'paged' ) : 1;
 
     // Append the format placeholder to the base URL.