prova così:
Codice PHP:
setlocale(LC_ALL,"ita"); // o setlocale(LC_ALL,"it_IT");
echo strftime("%A",mktime(0,0,0,01,31,2006)); 
http://it.php.net/manual/it/function.strftime.php
http://it.php.net/manual/it/function.mktime.php
http://it.php.net/manual/it/function.setlocale.php


ciao