Change Details

`mw.libs.ve.blacklist.opera` is `[ '<', 12 ]`, but according to https://www.mediawiki.org/wiki/Compatibility#Browser_support_matrix Opera < 15 won't receive any JS at all, so this is no longer necessary. (I actually don't see whether https://phabricator.wikimedia.org/source/mediawiki/browse/master/resources/src/startup/startup.js really blocks all Opera versions below 15, but the test for strict mode does block at least all versions below 12.1.)

`mw.libs.ve.unsupportedList` (formerly named "blacklist") still lists `opera: [ [ '<', 12 ] ]`, but according to https://www.mediawiki.org/wiki/Compatibility#Browser_support_matrix Opera < 15 won't receive any JS at all, so this is no longer necessary. The list is specified via `VisualEditorBrowserUnsupportedList` in extension.json and exposed to the client's JavaScript via `wgVisualEditorConfig`. (I actually don't see whether https://phabricator.wikimedia.org/source/mediawiki/browse/master/resources/src/startup/startup.js really blocks all Opera versions below 15, but the test for strict mode does block at least all versions below 12.1.)

`mw.libs.ve.unsupportedList` (formerly named "blacklist.opera` is `") still lists `opera: [ [ '<', 12 ] ]`, but according to https://www.mediawiki.org/wiki/Compatibility#Browser_support_matrix Opera < 15 won't receive any JS at all, so this is no longer necessary. The list is specified via `VisualEditorBrowserUnsupportedList` in extension.json and exposed to the client's JavaScript via `wgVisualEditorConfig`. (I actually don't see whether https://phabricator.wikimedia.org/source/mediawiki/browse/master/resources/src/startup/startup.js really blocks all Opera versions below 15, but the test for strict mode does block at least all versions below 12.1.)