Итого:
после установки php на windows переименовываем php.ini-production в php.ini;
раскомментим (убираем знак ;) перед строчками:
extension=php_curl.dll;
extension=php_gd2.dll;
extension=php_mbstring.dll;
extension=php_openssl.dll;
extension=php_pdo_mysql.dll;
extension=php_pdo_sqlite.dll;
extension=php_sqlite3.dll.
после чего указываем в файле settings.json ответ выше от
Пычев Анатолий и всё работает.
