Format the PHP spec for easy reading