Merge branch 'master' of ssh://git.onelab.eu/git/plewww

[plewww.git] / planetlab / persons / person.php

diff --git a/planetlab/persons/person.php b/planetlab/persons/person.php
index d79020f..107219c 100644 (file)
--- a/planetlab/persons/person.php
+++ b/planetlab/persons/person.php
@@ -320,7 +320,6 @@ if ($local_peer) {
 
   $is_pi_of_the_site = ( plc_in_site($site_ids[0]) && plc_is_pi() );
   $can_manage_roles= ( ($local_peer && plc_is_admin()) || $is_pi_of_the_site );
-  $table_options=array("search_area"=>false,"notes_area"=>false);
 
   $headers=array("Role"=>"string");
   if ($can_manage_roles) $headers [plc_delete_icon()]="none";