inc/functions/prettydate.php
prettydate(date) formats text pretty
Essentially, it reformats SQL-dates like 2013-09-12 to roman dates used in Europe like 12.9.2013. It accepts both SQL dates and roman dates, so you don't have to check if it is in the right format.
If the date is the current year, it omits the year like 12.9.