Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalPreferences  010b5d872f24a4dbd64986b20e20411f7f72f5c6

Add styling to "Use this preference on all wikis" checkboxes

Change-Id: Ie3d0092e9cea07a39e392b2ad78ebc35422459df