Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  43d95d153e86a0a04dfab0a1baadcd2e83bc97f1

Slightly reducing badge and alert sizes

Change-Id: If3c93582dbbdcab14b10ad9fe2926dcc94186756
Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  9d82f52fe96344c49b7161a34a7cc7418060e4e8

Return the history link

http://www.youtube.com/watch?v=FdghRwWfaOQ

Change-Id: I874a72c0360f4c235c8465146b7443d28c20b7f3