resourceloader: Remove redundant UA-check for Opera 12
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 7 Sep 2018 01:36:56 +0000 (02:36 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Sat, 8 Sep 2018 21:45:03 +0000 (22:45 +0100)
commitab3d808503ca14d12260c09912cb4cffe3f7d11f
tree8cd0179330417db369aaef464e7a4b77e4e82f71
parentf3641c0a9cf9dbf21e791e391a14a3063d95cff1
resourceloader: Remove redundant UA-check for Opera 12

Follows-up 07d8fded3eb336257.

Change-Id: Ie3873292d26984eaa26c80c184e7388893d56c87
resources/src/startup/mediawiki.js