Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMessages  0a4d96de51a503d91bc81bb247cf0092390d6ca4

Story 1732: Make licensing customizable on mobile interfaces

Also getting rid of old unused stuff

This is used by https://gerrit.wikimedia.org/r/#/c/120745/

Change-Id: I81b36b8f4986dd1e9f385e75a5e7449d8d38a017