generate php files with a .php suffix