Better event handling for browser preview refreshs in Wikipedia plugin
[phpeclipse.git] / archive / net.sourceforge.phpeclipse.monitor.core / plugin.xml
index f536ed5..12c3cd9 100644 (file)
@@ -3,7 +3,7 @@
 
 <plugin id="net.sourceforge.phpeclipse.monitor.core"
   name="%pluginName"
-  version="3.0.0"
+  version="1.1.2"
   provider-name="%providerName"
   class="net.sourceforge.phpdt.monitor.core.internal.MonitorPlugin">