From 36a519cb0faefb3fe91e1e2d5d65b75381542ecd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Wang?= <fwang@igalia.com>
Date: Fri, 30 Sep 2022 12:29:30 +0200
Subject: [PATCH] Add subfeature for deprecated named values of the mathsize
 attribute (#17921)

* Add subfeature for deprecated named values of the mathsize attribute

Add subfeature for deprecated named values "small", "normal", "big"
of the mathsize attribute. These were removed in Firefox 83 [1] but
are still supported by WebKit [2].

[1] https://bugzilla.mozilla.org/show_bug.cgi?id=1664488
[2] https://github.com/WebKit/WebKit/blob/cd711e64b46522100059a32e3025f7875e4861c0/Source/WebCore/mathml/MathMLElement.cpp#L117

* Update mathml/global_attributes.json

Co-authored-by: Florian Scholz <fs@florianscholz.com>

* Revert "Update mathml/global_attributes.json"

This reverts commit e625c88f6de2e2d00245ed7a5b83c275969f3ffe.

* place at the right position

Co-authored-by: Florian Scholz <fs@florianscholz.com>
---
 mathml/global_attributes.json | 41 +++++++++++++++++++++++++++++++----
 1 file changed, 37 insertions(+), 4 deletions(-)

diff --git a/mathml/global_attributes.json b/mathml/global_attributes.json
index ef3027cfaa4cb..cdd6e8e1fa38b 100644
--- a/mathml/global_attributes.json
+++ b/mathml/global_attributes.json
@@ -268,10 +268,7 @@
               "version_added": "5",
               "impl_url": "https://trac.webkit.org/changeset/63079"
             },
-            "safari_ios": {
-              "version_added": "4",
-              "impl_url": "https://trac.webkit.org/changeset/63079"
-            },
+            "safari_ios": "mirror",
             "samsunginternet_android": "mirror",
             "webview_android": "mirror"
           },
@@ -280,6 +277,42 @@
             "standard_track": true,
             "deprecated": true
           }
+        },
+        "small_normal_big": {
+          "__compat": {
+            "description": "<code>small</code>, <code>normal</code>, <code>big</code> values",
+            "support": {
+              "chrome": {
+                "version_added": false
+              },
+              "chrome_android": "mirror",
+              "edge": "mirror",
+              "firefox": {
+                "version_added": "70",
+                "version_removed": "83"
+              },
+              "firefox_android": "mirror",
+              "ie": {
+                "version_added": false
+              },
+              "oculus": "mirror",
+              "opera": {
+                "version_added": false
+              },
+              "opera_android": "mirror",
+              "safari": {
+                "version_added": "5"
+              },
+              "safari_ios": "mirror",
+              "samsunginternet_android": "mirror",
+              "webview_android": "mirror"
+            },
+            "status": {
+              "experimental": false,
+              "standard_track": true,
+              "deprecated": true
+            }
+          }
         }
       },
       "mathvariant": {