Last modified: 2014-02-12 23:53:57 UTC
I really think we should remove ResourceLoader support for Opera Mini.
Currently we blacklist Opera Mini < 7, but given the outstanding issues, let's blacklist all opera mini.
Related URL: https://gerrit.wikimedia.org/r/61899 (Gerrit Change I32c082d3cca1af4ce97da08f28beb4926ae97ac3)
Merged on master.
Related URL: https://gerrit.wikimedia.org/r/63800 (Gerrit Change I32c082d3cca1af4ce97da08f28beb4926ae97ac3)