Use php as file extension