Problem with the date format in php

Hello,
I have a problem in php with date format returned by dhtmlxcalender. in fact, i have this
“Tue Oct 01 2013 10:30:00 GMT 0100” and i want to convert it in this php format : "01-10-2013 "
can somebody have the solution ?

Thank you for your help

Hello
You need to use method getFormatedDate()
docs.dhtmlx.com/doku.php?id=dhtm … ateddate&s[]=getFormatedDate