Which is the format to display the date in dd-Mon-yy format?(E.g. 07-Aug-18)in php code example

date("d/m/Y", strtotime($str));