- Removed automatic page reload when JavaScript options are changed.

ftimme

2012-11-30 5ce54ba0ff6f7f39ce80bc43210c9fcf3cc95209

 interface/lib/classes/plugin.inc.php

@@ -31,7 +31,7 @@
class plugin {
   
   private $subscribed_events = array();
   private $debug = true;
   private $debug = false;
   
   
   /*