public static function drop_unique_panel_id($id) { if (in_array($id, self::$registered_panel_ids)) { unset(self::$registered_panel_ids[array_search($id, self::$registered_panel_ids)]); } }