Thread:Project:Support desk/CSS missing in revision history (or: How to disable AJAX?)/reply (2)

It's an extension that highlights sourcecode in Wiki articles. However it outputs CSS to the page's head section, which is not copied to the overall page's head section during AJAX.