system: Let update-php.ini also include a php.ini.local
[matthijs/servers/drsnuggles.git] / usr / local / bin /
drwxr-xr-x   ..
-rwxr-xr-x 3854 addsite
-rwxr-xr-x 1125 update-php.ini