php5ts module with fixes and extensions