Issue 3516. Make displaying warning for inferred types configurable

editor/tools/plugins/com.google.dart.tools.ui/plugin.xml

 <?xml version="1.0" encoding="UTF-8"?>
 <?eclipse version="3.4"?>
 <plugin>
 
    <extension-point id="dartElementFilters" name="%elementFiltersName" schema="schema/dartElementFilters.exsd"/>
    <extension-point id="dartEditorTextHovers" name="%javaEditorTextHoversName" schema="schema/dartEditorTextHovers.exsd"/>
    <extension-point id="dartDocCompletionProcessor" name="%javadocCompletionProcessor" schema="schema/dartDocCompletionProcessor.exsd"/>
    <extension-point id="quickFixProcessors" name="%quickFixProcessorExtensionPoint" schema="schema/quickFixProcessors.exsd"/>
    <extension-point id="quickAssistProcessors" name="%quickAssistProcessorExtensionPoint" schema="schema/quickAssistProcessors.exsd"/>
    <extension-point id="foldingStructureProviders" name="%foldingStructureProvidersExtensionPoint" schema="schema/foldingStructureProviders.exsd"/>
@@ skipping 689 matching lines @@
             class="com.google.dart.tools.ui.internal.text.editor.DartElementHyperlinkDetector"
             id="com.google.dart.tools.ui.internal.text.editor.DartElementHyperlinkDetector"
             name="%DartElementHyperlinkDetector"
             targetId="com.google.dart.tools.ui.dartCode">
       </hyperlinkDetector>
    </extension>
 
    <extension
          point="org.eclipse.ui.preferencePages">
       <page
+            name="%analysisPrefName"
+            class="com.google.dart.tools.ui.internal.preferences.DartAnalysisPreferencePage"
+            id="com.google.dart.tools.ui.preferences.DartAnalysisPreferencePage">
+      </page>
+      <page
             name="%dartPrefName"
             class="com.google.dart.tools.ui.internal.preferences.DartBasePreferencePage"
             id="com.google.dart.tools.ui.preferences.DartBasePreferencePage">
       </page>
       <page
             class="com.google.dart.tools.ui.internal.preferences.FontPreferencePage"
             id="com.google.dart.tools.ui.fontOptionsPage"
             name="%dartFontsPrefName">
       </page>
       <page
@@ skipping 2738 matching lines @@
    </extension>
     
    <extension
          point="com.google.dart.tools.ui.quickAssistProcessors">
       <quickAssistProcessor
             class="com.google.dart.tools.ui.internal.text.correction.QuickAssistProcessor"
             id="com.google.dart.tools.ui.internal.text.correction.QuickAssistProcessor"/>
    </extension>
 
 </plugin>