[harry]

Try this : php -i |grep php.ini and the file you get is the configuration file loaded for the server which is editable.

Hope this helps you else you can contact our technical support staff, they will help you better.