<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<component name="org.eclipse.php.ui_3.0.0.v20120810" version="1.2">
    <plugin id="org.eclipse.php.ui_3.0.0.v20120810"/>
    <package name="org.eclipse.php.ui" visibility="1">
        <type name="CodeGeneration" restrictions="6"/>
        <type name="OverrideIndicatorLabelDecorator" restrictions="2">
            <method name="&lt;init&gt;" restrictions="8" signature="(Lorg/eclipse/php/internal/ui/util/ImageDescriptorRegistry;)V"/>
            <method name="computeAdornmentFlags" restrictions="8" signature="(Ljava/lang/Object;)I"/>
            <method name="getOverrideIndicators" restrictions="8" signature="(Lorg/eclipse/dltk/core/IMethod;)I"/>
        </type>
    </package>
</component>
