Salve,
vorrei usare questo codice usando il nome delle pagine e non quello delle cartelle.
Al posto di dirname, cosa devo usare ?


codice:

<?php

/* LINGUA SEARCH */

$pagina_1 = dirname($_SERVER['PHP_SELF']);
$pagina_2 = array('/web/ITA');

for ($i = 0; $i < count($pagina_2); $i++) {

$pagina_controllo = $pagina_2[$i];

if ($pagina_1 <> $pagina_controllo) {



include $_SERVER['DOCUMENT_ROOT']."/.../.../..../search.php";
}


}


/* LINGUA SEARCH */
?>