alternatief voor erer_replace

Ik lees datums uit een gedcom bestand, maar die zijn in dd-MMM-yyyy waar bij MMM de letters van de maand zijn.
Nu wil ik graag dd-mm-jjjj, met maand in cijfers.

In mijn oude versie had ik per maand een regel om dit om te zetten, zie hier onder.
ereg_replace bestaat niet meer, maar is nu een handig alternatief?

$Ggeboortedatum=  ereg_replace( "JAN", "-01-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "FEB", "-02-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "MAR", "-03-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "APR", "-04-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "MAY", "-05-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "JUN", "-06-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "JUL", "-07-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "AUG", "-08-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "SEP", "-09-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "OCT", "-10-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "NOV", "-11-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( "DEC", "-12-", $Ggeboortedatum );
$Ggeboortedatum=  ereg_replace( " ", "", $Ggeboortedatum);