[php] \"!= oder ==\" was ist schneller?

[php_(at)_phpcenter.de]

*cut
btw nfo _(at)_ mr. geschke -> hab mir jetz fix nen php mailer baut... *sollte jetz non html sein* ;)
cut*

es geht um die folgende ganz einfache Wenn-Dann Bedingung:
<schnipp>
if ($url != \"\") {$url = \"http://www.\".$url;} else { $url = \"-\";}
if ($url == \"\") { $url = \"-\";} else {$url = \"http://www.\".$url;}
<schnapp>
*die beiden sind vom sinn her völlig gleich, nur is einmal \"!=\" und einmal \"==\", und der Rest dreht sich entsprechend, damit das ergebnis gleich bleibt*

mich würde einfach mal interessieren, ob die beiden von der Rechenzeit her genau gleich lange brauchen. Das wars schon wieder *extremtuning*:)