$url değişkenine niye tırnak koyuyorsunuz ?
if($_SERVER["HTTP_REFERER"] == $url ) emin değilim ama belki olur
o şekilde yapılarak string veritipine döndürülüyor...
örneğin;
$url = 1;
olsaydı $url integer bir veritipine sahip olcaktı ama "$url" olsaydı artık yeni tür string olacaktır.