DevTools: migrate from CSS.setPropertyText to CSS.setStyleText

Source/devtools/front_end/ui/DOMSyntaxHighlighter.js

Index: Source/devtools/front_end/ui/DOMSyntaxHighlighter.js
diff --git a/Source/devtools/front_end/ui/DOMSyntaxHighlighter.js b/Source/devtools/front_end/ui/DOMSyntaxHighlighter.js
index 99302dd3bf03111a1e44271eacaa03146dea2b4b..bcede4488581c741e97d078a025795d42be157c2 100644
--- a/Source/devtools/front_end/ui/DOMSyntaxHighlighter.js
+++ b/Source/devtools/front_end/ui/DOMSyntaxHighlighter.js
@@ -109,16 +109,3 @@ WebInspector.DOMSyntaxHighlighter.prototype = {
         }
     }
 }
-
-/**
- * @interface
- */
-WebInspector.TokenizerFactory = function() { }
-
-WebInspector.TokenizerFactory.prototype = {
-    /**
-     * @param {string} mimeType
-     * @return {function(string, function(string, ?string, number, number))}
-     */
-    createTokenizer: function(mimeType) { }
-}