From 73384acc04b12f94bf1338101d47a65fd4dab0e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Wang?= Date: Thu, 29 Sep 2022 10:39:07 +0200 Subject: [PATCH] Add subfeatures for menclose@notation This add subfeatures for each value of the menclose@notation attribute as discussed in [1], except "radical" which is considered irrelevant [2]. This is done by copying existing implementation status of the notation feature. Additonally, "mirror" is used for Safari iOS (as it has the same MathML support as macOS) and the notes for Safari is removed (as that's redundant information). [1] https://github.com/mdn/browser-compat-data/pull/17062 [2] https://github.com/mdn/content/pull/21179 --- mathml/elements/menclose.json | 427 +++++++++++++++++++++++++++++++++- 1 file changed, 419 insertions(+), 8 deletions(-) diff --git a/mathml/elements/menclose.json b/mathml/elements/menclose.json index d73941512742f..55fe6e818b6d9 100644 --- a/mathml/elements/menclose.json +++ b/mathml/elements/menclose.json @@ -53,12 +53,9 @@ "opera": "mirror", "opera_android": "mirror", "safari": { - "version_added": "7", - "notes": "updiagonalarrow and phasorangle are not supported, see WebKit bug 127466." - }, - "safari_ios": { - "version_added": false + "version_added": "7" }, + "safari_ios": "mirror", "samsunginternet_android": "mirror", "webview_android": "mirror" }, @@ -68,7 +65,7 @@ "deprecated": false } }, - "madruwb": { + "actuarial": { "__compat": { "support": { "chrome": { @@ -77,7 +74,135 @@ "chrome_android": "mirror", "edge": "mirror", "firefox": { - "version_added": "2" + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "bottom": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "box": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "circle": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "downdiagonalstrike": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" }, "firefox_android": "mirror", "ie": { @@ -89,9 +214,135 @@ "safari": { "version_added": "7" }, - "safari_ios": { + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "horizontalstrike": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { "version_added": false }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "left": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "longdiv": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "madruwb": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "2" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", "samsunginternet_android": "mirror", "webview_android": "mirror" }, @@ -134,6 +385,102 @@ } } }, + "right": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "roundedbox": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "top": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, "updiagonalarrow": { "__compat": { "support": { @@ -165,6 +512,70 @@ "deprecated": false } } + }, + "updiagonalstrike": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } + }, + "verticalstrike": { + "__compat": { + "support": { + "chrome": { + "version_added": false + }, + "chrome_android": "mirror", + "edge": "mirror", + "firefox": { + "version_added": "1" + }, + "firefox_android": "mirror", + "ie": { + "version_added": false + }, + "oculus": "mirror", + "opera": "mirror", + "opera_android": "mirror", + "safari": { + "version_added": "7" + }, + "safari_ios": "mirror", + "samsunginternet_android": "mirror", + "webview_android": "mirror" + }, + "status": { + "experimental": false, + "standard_track": true, + "deprecated": false + } + } } } }