Fixed [Bug 1990 (#1990)], extension handling is now case-insensitive (actually, it already was most of the time, the extension modules could only register lower_case extensions, however, the lookup was not done case-insentively) Rev: server/base_server/configuration.pike:1.478