<?php
function GetMonthNum($month)
{
switch($month)
{
case('janv'):
case('janvier'):
return 1;
break;
case('fevr'):
case('fevrier'):
return 2;
break;
case('mars'):
return 3;
break;
case('avri'):
case('avril'):
return 4;
break;
case('mai'):
return 5;
break;
case('juin'):
return 6;
break;
case('juil'):
case('juillet'):
return 7;
break;
case('aout'):
return 8;
break;
case('sept'):
case('septembre'):
return 9;
break;
case('octo'):
case('octobre'):
return 10;
break;
case('nove'):
case('novembre'):
return 11;
break;
case('dece'):
case('decembre'):
return 12;
break;
default:
return 0;
}
}
?>