Hola
ferbux
Gracias por contestar a ti también.
Como le comentaba a
GatorV, es una de las cosas que ya hice, pero sin encontrarlo.
Como dice
GatorV, el fichero realmente no estaba, y PHP estaba asumiendo su configuración por defecto.
Una vez puesto un fichero
php.ini en C/WINDOWS/, y reiniciado Internet Information Server (que es bajo lo que yo hago correr PHP) ya funciona el nuevo PHP.ini, y puedo hacer las modificaciones que desee en mi configuración PHP.
Gracias de nuevo a los dos por la rapidez contestando.
Un saludo!!!