jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405989 )
Change subject: Blacklist ogv.js's wasm on iOS 11.2.5 as well
......................................................................
Blacklist ogv.js's wasm on iOS 11.2.5 as well
Work around upstream breakage in webkit.
Change-Id: I95dcdbfc78d28ce2d53c01d460b344c1e3dc4da9
---
M resources/ext.tmh.player.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
TheDJ: Looks good to me, approved
diff --git a/resources/ext.tmh.player.js b/resources/ext.tmh.player.js
index 4260aaa..0528af6 100644
--- a/resources/ext.tmh.player.js
+++ b/resources/ext.tmh.player.js
@@ -137,7 +137,7 @@
base: mw.OgvJsSupport.basePath(),
// Disable WebAssembly on iOS 11.2.2, where
it's broken.
- wasm: ( typeof WebAssembly === 'object' ) && !(
navigator.userAgent.match( /(iPhone|iPad); CPU OS 11_2_2/ ) )
+ wasm: ( typeof WebAssembly === 'object' ) && !(
navigator.userAgent.match( /(iPhone|iPad); CPU OS 11_2_[2-5]/ ) )
};
globalConfig.techOrder.push( 'ogvjs' );
}
--
To view, visit https://gerrit.wikimedia.org/r/405989
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I95dcdbfc78d28ce2d53c01d460b344c1e3dc4da9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/TimedMediaHandler
Gerrit-Branch: master
Gerrit-Owner: Brion VIBBER <[email protected]>
Gerrit-Reviewer: TheDJ <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
