Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c0952ed1987d347be6f44aa167cdb16f89a37405

Set wgArticleId correctly after a page is dynamically loaded

Change-Id: I4be2e7b11f4b7fd812801674946188fc6a381f8b