Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  3f6ac7ca6b30aff241b797718ba06bb951ab5e2c

Enable WikiEditor toolbar on iOS

Since we now have a full fledged mobile solution, I think we should
strive to have the site 'proper' work as much on any platform as
possible.

WikiEditor traditionally was not loaded on iOS.
No one really knows why this was not loaded. It can have been bugs or
just to 'slim down'. It works on iOS 6 and iOS 7, so for that reason
I'm now changing the blacklist in this respect. It might work with
earlier versions, but I can't really test that right now.

Bug: 63277
Change-Id: I605eb0e093b84203f1157d9e20788eaa0040ddbf
(cherry picked from commit f64a3c26c6442c3dad4e9e130be92f521b17afc9)