wp/wp-includes/vars.php
changeset 18 be944660c56a
parent 16 a86126ab1dd4
child 19 3d72ae0968f4
equal deleted inserted replaced
17:34716fd837a4 18:be944660c56a
   132 /**
   132 /**
   133  * Whether the server software is IIS 7.X or greater
   133  * Whether the server software is IIS 7.X or greater
   134  *
   134  *
   135  * @global bool $is_iis7
   135  * @global bool $is_iis7
   136  */
   136  */
   137 $is_iis7 = $is_IIS && intval( substr( $_SERVER['SERVER_SOFTWARE'], strpos( $_SERVER['SERVER_SOFTWARE'], 'Microsoft-IIS/' ) + 14 ) ) >= 7;
   137 $is_iis7 = $is_IIS && (int) substr( $_SERVER['SERVER_SOFTWARE'], strpos( $_SERVER['SERVER_SOFTWARE'], 'Microsoft-IIS/' ) + 14 ) >= 7;
   138 
   138 
   139 /**
   139 /**
   140  * Test if the current browser runs on a mobile device (smart phone, tablet, etc.)
   140  * Test if the current browser runs on a mobile device (smart phone, tablet, etc.)
   141  *
   141  *
   142  * @since 3.4.0
   142  * @since 3.4.0