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 f30317043dab54a1be4d438f5391096e3a012ce5..82a95ce3ac650631139b6b6b0cab623119087564 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;
   }