务器上安装了php7.2   哪些扩展是必须安装的