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
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.
(cherry picked from commit f64a3c26c6442c3dad4e9e130be92f521b17afc9)