- time: documentation ( source)
- strftime: documentation ( source)
- setlocale: documentation ( source)
<?php
setlocale(LC_TIME, "de_DE"); //only necessary if the locale isn't already set
$formatted_time = strftime("%a %e.%l.%Y", time());
echo $formatted_time;