Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  be51a404ad213fdaaf6ab35cf1081645b002bbd0

Style pre and code tags properly

Bug: 49033
Change-Id: I2559599bae8c22b5d209e6c324666167b05e0468