我正在尝试安装php mongodb扩展名，我已经下载了mondodb dll
根据我的PHP版本，将php_mongodb-1.5.5-7.2-ts-vc15-x86版本转换为php 7.2，x86和thead safe，
Phpinfo()
我将php_mongodb.dll文件复制到C:\xampp\php\ext，并将此行添加到php.ini
extension=bz2
extension=curl
extension=fileinfo
extension=gd2
extension=gettext
;extension=gmp
;extension=intl
;extension=imap
;extension=interbase
;extension=ldap
extension=mbstring
extension=exif ; Must be after mbstring as it depends on it
extension=mysqli
;extension=oci8_12c ; Use with Oracle Database 12c Instant Client
;extension=odbc
;extension=openssl
;extension=pdo_firebird
extension=pdo_mysql
extension=php_mongo.dll
;extension=pdo_oci
;extension=pdo_odbc
;extension=pdo_pgsql
extension=pdo_sqlite
;extension=pgsql
然后我重新启动了apache，但是phpinfo上没有mongodb，我错过了什么吗？