Convert month to month name in php

$monthShortName = date("M", mktime(0, 0, 0, $monthNumber, 10));