[Theia] use mktime instead of cal_days_in_month for PHP server not compiled with --enable-calendar