mediawiki.inspect: Remove redundant code for old Opera
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 21 Aug 2018 20:45:59 +0000 (21:45 +0100)
committerKrinkle <krinklemail@gmail.com>
Tue, 21 Aug 2018 20:49:20 +0000 (20:49 +0000)
commit2d947311a4f509e600e692a786c34fc83d012309
treef255822e034f844aa45cdcbb2933cda0269a787d
parente2ee330906db1281c508a1142f4bf12e3398d3ac
mediawiki.inspect: Remove redundant code for old Opera

Opera < 12 is no longer supported in Grade A, which means this
condition can't be reached, unless the variable exists by accident
in a supported browser where we don't want it to (e.g. due to
a gadget, or legacy element-by-id globals)

Change-Id: I2d840ff23397e78a11a6495b90247d3baf124ee5
resources/src/mediawiki.inspect.js