Use a `/*!` comment for the CSS header
authorTim Düsterhus <duesterhus@woltlab.com>
Wed, 3 Feb 2021 13:42:32 +0000 (14:42 +0100)
committerTim Düsterhus <duesterhus@woltlab.com>
Wed, 3 Feb 2021 15:00:43 +0000 (16:00 +0100)
commit0f3ca132314678b7bc3ac93cf2d65373cf476a3d
tree5fd1ac6f9fcc991f3c3c71fb40d53aaae4eae90c
parentf4a52c4c02ac5c788f98ebce434e4359023f03a7
Use a `/*!` comment for the CSS header

This change stops the `Compressed` formatter from removing the comment,
allowing us to remove the `insertHeader()` logic which looked somewhat fragile.
wcfsetup/install/files/lib/system/style/StyleCompiler.class.php