Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  ef54bf38b538ad2942061bcdfac44ae8434e8db3

Hygiene: Cleanup Special:MobileOptions markup

The HTML is a semantic mess. Instead make each option a list
item with a name and description!

Change-Id: Ic7b2f2e3e6998579e7ab49eb74d03ef2574ad32c