Disable Symfony SourceElementRequestor

gencer · Oct 19, 2015 · 52b51f8 · 52b51f8
1 parent abeab0b
commit 52b51f8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/com.dubture.symfony.core/plugin.xml b/com.dubture.symfony.core/plugin.xml
@@ -80,12 +80,12 @@
 
 
 	<!-- PDT SourceElementRequestor - not used at the moment -->
-   <extension
+   <!--extension
          point="org.eclipse.php.core.phpSourceElementRequestors">
       <requestor
             class="com.dubture.symfony.core.compiler.SourceElementRequestor">
       </requestor>
-   </extension>
+   </extension-->
 
    <extension
          point="org.eclipse.php.core.goalEvaluatorFactories">