Normalize notation of php.ini