Fixed: 1736622 - "php marker occurrences" color - did`t have an effect

[phpeclipse.git] / archive / net.sourceforge.phpeclipse.monitor.core / plugin.xml

diff --git a/archive/net.sourceforge.phpeclipse.monitor.core/plugin.xml b/archive/net.sourceforge.phpeclipse.monitor.core/plugin.xml
index 12c3cd9..c251302 100644 (file)
--- a/archive/net.sourceforge.phpeclipse.monitor.core/plugin.xml
+++ b/archive/net.sourceforge.phpeclipse.monitor.core/plugin.xml
@@ -3,7 +3,7 @@
 
 <plugin id="net.sourceforge.phpeclipse.monitor.core"
   name="%pluginName"
-  version="1.1.2"
+  version="1.1.6"
   provider-name="%providerName"
   class="net.sourceforge.phpdt.monitor.core.internal.MonitorPlugin">