Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  8ab116674152de854c69681d51c1e73816f4f21c

Hygiene: Rename mf-view.js to View.js

Change-Id: Ib1471e1004f3ef25d5869e32c0431be793de95d3

Hygiene: Remove dead css

Change-Id: Id358a58d0dd94b46e47a04e4102149b532695d39

Hygiene: Remove dead test

Change-Id: I50ea4c79436cc4b2a2691709e1d473d51eb255a5

Hygiene: Remove another unnecessary closure

Change-Id: I6526d0a1365d8e26d52adf1c07c0e2f6f766ddc3