DevTools: migrate from CSS.setPropertyText to CSS.setStyleText

Source/devtools/protocol.json

Index: Source/devtools/protocol.json
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
index 34507b2dea22f8b8b3c3bb38b12592fbaca87a4b..034d62b60926d886e58e5a926812834c203f6732 100644
--- a/Source/devtools/protocol.json
+++ b/Source/devtools/protocol.json
@@ -3003,18 +3003,6 @@
                 "description": "Sets the new stylesheet text."
             },
             {
-                "name": "setPropertyText",
-                "parameters": [
-                    { "name": "styleSheetId", "$ref": "StyleSheetId" },
-                    { "name": "range", "$ref": "SourceRange", "description": "Either a source range of the property to be edited or an empty range representing a position for the property insertion." },
-                    { "name": "text", "type": "string" }
-                ],
-                "returns": [
-                    { "name": "style", "$ref": "CSSStyle", "description": "The resulting style after the property text modification." }
-                ],
-                "description": "Either replaces a property identified by <code>styleSheetId</code> and <code>range</code> with <code>text</code> or inserts a new property <code>text</code> at the position identified by an empty <code>range</code>."
-            },
-            {
                 "name": "setRuleSelector",
                 "parameters": [
                     { "name": "styleSheetId", "$ref": "StyleSheetId" },