Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  74e71d80d7c4fcf44630aef05e1cd214f025e26c

Device type rewrite

* Use regexes only if necessary, in most cases strpos() is enough.
* Since there's now no difference between 'capable' and 'html'
  (jQuery support is irrelevant), merge them into 'generic'
* Order the checks approximately in the order of popularity
  per http://stats.wikimedia.org/wikimedia/squids/SquidReportClients.htm
  to reduce the average number of regexes run per request.
* Simplify non-default iPhone browser handling.
* Reduce the worst-case number of regexes.
* Remove unused firefox.css, neither Fennec is supported nor it's a proper
  way to fix such problems.
* Make 'ie' cover all IE Mobile versions.
* Kill 'wap2', 'wii' and 'psp'.
* Removed a couple of mobileness detection rules covered by MIDP.
* Sort rules.

Change-Id: I79401aee6ec91eeda19a2ff5f010c4406f568c9b