webkit  2cdf99a9e3038c7e01b3c37e8ad903ecbe5eecf1
https://github.com/WebKit/webkit
Variables
green-if-referrer-is-origin.php File Reference

Variables

if($_SERVER['HTTP_REFERER'] !='http://127.0.0.1:8000/') else
 

Variable Documentation

◆ else

if ( $_SERVER[ 'HTTP_REFERER'] !='http://127.0.0.1:8000/') else
Initial value:
{
$img = 'green250x50.png'