Thread:Project:Support desk/Firefox content encoding error during upgrading tables (MW 1.23.5)/reply (2)

Thank you for the suggestion, now solved. I removed the extract I mentioned, in its entirety, and the encoding error no longer appeared.

Having looked at a recent Mediawiki 1.23.5 localsetting.php file, I note that this block does not appear at all, though there is an optional line: # $wgDisableOutputCompression = true; (which I ignore).

Should this be filed as a bug?