v7.2.11

v7.2.11

• Issue #3913 : Change zip data handling so unknown file extensions are treated as part of the base name, e.g. 001.unknown gets a base name of 001.unknown (unless we see a known extension like 001.ctx in which case 001.unknown gets a base name of 001), abc.xyz.10001 gets a base name of abc.xyz.10001.

• Issue #3945 : Fix light theme colours.

• Issue #3942 : Fix user identity in audit logging.