Traduzir meses e dias da semana uitlizando a função date() do PHP

OLá,preciso traduzir a data para português, já varri o programa inteiro traduzindo tudo ,mas essas datas como o exemplo abaixo ainda resultam em inglês.

list($yy,$mm,$dd) = explode("-",$checkout);
$checkout_date = date("D j F Y", mktime(0,0,0,$mm,$dd,$yy));

TRADUÇÃO ERRADA!

O resultado acima é algo como Thursday,05 de July

E este código abaixo como exemplo,está em outro arquivo php do meu programa que está traduzindo corretamente a data.

Quais códigos devo adicionar no arquivo acima para que traduza a data para portugues?

 list($yy,$mm,$dd) = explode("-",$cart[checkout]);
 $stamp = mktime(0,0,0,$mm,$dd,$yy);
 $thedate = getdate($stamp);

 echo $word_day_short[$thedate[wday]];
 echo " ";
 echo $thedate[mday];
 echo " ";
 echo $word_month_short[$mm];
 echo " ";
 echo $yy;

=TRADUÇÃO CERTA!