equivalente in php

[Vincent]

<?php if end(explode('.', $url)) = "pdf" then [img]immaginepdf.gif[/img]

<?

   if ( end(explode('.', $url)) == "pdf" )
       echo"<img src=\"immaginepdf.gif\"";
?>