Updated mediawiki/extensions
Project: mediawiki/extensions/TocTree  e5af444f38961565a07904e6996a66dbe386d658

Css cleanup

* Fix encoding
* Remove version which is not kept up to date
* Use ** for file comment and add space before */

Change-Id: Ibff8b6f003fbca90fc3f82cb518f0ec12efed66b