Problem with the date format in php

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

You need to use method getFormatedDate() … ateddate&s[]=getFormatedDate