Sto provando questo codice ma non funziona

Codice PHP:
//Questo accorcia la Città, dopo un tot di caratteri mette i 3 puntini 
//Se la stringa è 12 caratteri o più (con lo spazio interno), viene accorciata a 12 e mette i 3 puntini, TOT a video 15
if (strlen($citta) >= 12){ 
$citta=substr($citta,0,12)."...";