Updated mediawiki/extensions
Project: mediawiki/extensions/TwnMainPage  5dfa44b9da5961a9b92440d0c3cfa454843a16e5

Remove custom border from input elements

This creates an ugly border around checkbox in IE.

If we want to keep the custom border instead, we need to use more
specific css selectors.

Change-Id: Ic34e62f98f7e220034550c43550391315607573f

Use resource loader module for project icons

This allows us to use png fallbacks easily and works more reliably
accross different browsers. It also moves some of the processing
to separate request that can be cached separately and reduces the
size of the page html.

In addition split the other CSS styles into separate module to
avoid loading them twice, once directly and once via resource
loader.

Change-Id: If49f1a40654ce88a2d433747f24a1de09132450d