Use typed RefactoringOptions in the Dart version of the protocol.

pkg/analysis_server/doc/api.html

Index: pkg/analysis_server/doc/api.html
diff --git a/pkg/analysis_server/doc/api.html b/pkg/analysis_server/doc/api.html
index d25f1765e6ada556677c21856a2e8804015664cc..03377bb83638d3000458052f59276f33e69db930 100644
--- a/pkg/analysis_server/doc/api.html
+++ b/pkg/analysis_server/doc/api.html
@@ -1723,6 +1723,7 @@ dt.typeDefinition {
       
       
       
+      
     <dl><dt class="typeDefinition"><a name="type_AddContentOverlay">AddContentOverlay: object</a></dt><dd>
         <p>
           A directive to begin overlaying the contents of a file.  The
@@ -2504,7 +2505,12 @@ dt.typeDefinition {
               not be defined. If the function type has zero parameters, this
               field will have a value of "()".
             </p>
-          </dd></dl></dd><dt class="typeDefinition"><a name="type_RefactoringMethodParameterKind">RefactoringMethodParameterKind: String</a></dt><dd>
+          </dd></dl></dd><dt class="typeDefinition"><a name="type_RefactoringOptions">RefactoringOptions: object</a></dt><dd>
+        <p>
+          An abstract superclass of all refactoring options.
+        </p>
+        
+      <dl></dl></dd><dt class="typeDefinition"><a name="type_RefactoringMethodParameterKind">RefactoringMethodParameterKind: String</a></dt><dd>
         <p>
           An enumeration of the kinds of parameters.
         </p>