Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  1c18a3a0899643c66404d94c79f0d4931ff6ad1a

Push previous and next buttons on mobile diff to stable

Change-Id: Ia959f7a5bf9e7231250a85e289e3d35466819cfc