setPlayer getPlayer renamed in player_set, player_get methods in Table class (brisk...

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index f303170..82a95ce 100644 (file)
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -481,12 +481,12 @@ class Table {
     $this->wag_tout = $timeout;
   }
 
-  function getPlayer($idx)
+  function player_get($idx)
   {
     return ($this->player[$idx]);
   }
 
-  function setPlayer($idx, $player)
+  function player_set($idx, $player)
   {
     $this->player[$idx] = $player;
   }