<?php $source = '2013-12-09';$date = new DateTime($source);echo $date->format('j-M-Y');
Standard input is empty
9-Dec-2013
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!