Allow extra PHP file types