php getDate, maand in cijfer

[Verwijderd]

Met de volgende code krijg ik de maand wel in bijv. Jun
Maar hoe krijg ik deze in een cijfer.. ofwel voor maand Juni in 6

PHP:

<?$datum = getDate();echo date ("M", mktime (0,$datum[mon]));?>

[D2k]

http://www.php.net/manual/en/function.date.php
ga eerst gewoon ff lezen