- Add rounded corners for tabs in upper menu.

tbrehm

2013-04-16 68e400af2f9ed178beaff4ecea6d41d08d13734f

 interface/lib/classes/plugin.inc.php

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