Comments and corrections
Renamed to proper php extension