system: Let update-php.ini also include a php.ini.local
[matthijs/servers/drsnuggles.git] / etc / localtime
1 /usr/share/zoneinfo/Europe/Amsterdam