Merge "mediawiki.inspect: Remove redundant code for old Opera"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 Aug 2018 00:55:46 +0000 (00:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 Aug 2018 00:55:46 +0000 (00:55 +0000)
commitec88ffd230b71075f520ebd6567fcf9d1a8fa1fa
tree949bcd8e152e5cc97266c4914176728084b68eb0
parent65b6faa534c2673df1652b7ab579392268525054
parent2d947311a4f509e600e692a786c34fc83d012309
Merge "mediawiki.inspect: Remove redundant code for old Opera"