system: Let update-php.ini also include a php.ini.local