Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  9433a80ce55b17fa9ea588400ab7000c9c5e8fbb

Add margins to not logged in users

Change-Id: I3185f4eb162c91b3004e4a0aeaf356a9bfb0a77a