I just tried to use the ini_set function,
to change the value of a variable in php.ini
for the execution of mediawiki.
MW ignored the new value however
and kept using the one from php.ini.
Is there something to know about
using ini_set() in LocalSettings.php?
Is its effect delayed but an amount
of time? Does something triggers
its effect at some point but not immediately?
Manu