php: Update extension table formatting