Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  08bf543fbf49581b02a2e5389d333bc7f47a5596

Quick hack to remove now useless device modules

Fix errors in server log caused by missing directory

Change-Id: Id96853c84a44ae87a0c9eb57218bf47963586e0d