mirror of
https://github.com/nicoverbruggen/phpmon.git
synced 2025-08-07 20:10:08 +02:00
Nico Verbruggen
99881bf4cd
The way .ini files are loaded is changing with this commit. Instead of directly saving which extensions were found, the extensions loaded are now determined by reading the .ini file. However, there are some performance concerns here. Perhaps it is worth *not* reloading the contents of these files unless absolutely necessary.