This is for generated PHP stub files