DevTools: migrate from CSS.setPropertyText to CSS.setStyleText

Source/devtools/front_end/ui/DOMSyntaxHighlighter.js

 /*
  * Copyright (C) 2010 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 91 matching lines @@
 
             if (column > plainTextStart) {
                 var plainText = line.substring(plainTextStart, column);
                 node.createTextChild(plainText);
             }
             node.appendChild(this.createSpan(token, tokenType));
             plainTextStart = newColumn;
         }
     }
 }
-
-/**
- * @interface
- */
-WebInspector.TokenizerFactory = function() { }
-
-WebInspector.TokenizerFactory.prototype = {
-    /**
-     * @param {string} mimeType
-     * @return {function(string, function(string, ?string, number, number))}
-     */
-    createTokenizer: function(mimeType) { }
-}