Hola tu problema es que eso no es en php.ini-dist si no en tu php.ini, desde donde lo estes cargando, te recomiendo usar una pagina para sacar el php info:
Código PHP:
<?php
phpinfo();
?>
y ver desde donde esta leyendo PHP el php.ini, posteriormente ahi cambiar los valores y habilitar PDO y la libreria de Postgre