webkit  2cdf99a9e3038c7e01b3c37e8ad903ecbe5eecf1
https://github.com/WebKit/webkit
Variables
refresh-headers.php File Reference

Variables

 $gotMaxAge =false
 
 $gotNoCache =false
 
if(0==strcasecmp($_SERVER["HTTP_CACHE_CONTROL"], "max-age=0")) if((0==strcasecmp($_SERVER["HTTP_CACHE_CONTROL"], "no-cache"))||(0==strcasecmp($_SERVER["HTTP_PRAGMA"], "no-cache"))) if($gotNoCache) else if($gotMaxAge) else
 

Variable Documentation

◆ $gotMaxAge

$gotMaxAge =false

◆ $gotNoCache

$gotNoCache =false

◆ else

if (0==strcasecmp( $_SERVER["HTTP_CACHE_CONTROL"], "max-age=0")) if ((0==strcasecmp( $_SERVER["HTTP_CACHE_CONTROL"], "no-cache"))||(0==strcasecmp( $_SERVER["HTTP_PRAGMA"], "no-cache"))) if ( $gotNoCache) else if ( $gotMaxAge) else
Initial value:
{
echo '<body onload="window.location.reload();">'
Generated by   doxygen 1.8.13