sqlsrv 4.0 のドライバーが phpinfo() に表示されない

GitHub に投稿された 問題のいくつかを調べた後、 ページのシステム要件には次のように記載されていますが、Microsoft Web サイトから提供されたドライバーは現在 PHP 7.1 と互換性がないようです:

sqlsrv および pdo_sqlsrv ドライバーの最新のバイナリは、公式 GitHub リポジトリ から入手できます。 最新* は v4.1.5 です (2017 年 1 月 19 日リリース)。 PHP バージョンに関連する .zip をダウンロードします。