Merge branch 'BUMOODLE_23_STABLE' of github.com:bumoodle/moodle into BUMOODLE_23_STABLE
NOBUG fixed an error when PHP's internal gzip compression is on