//--------------------------------------------------------+

  function sort_by_score($a, $b)
  {
    if ($a['score'] == $b['score']) { return 0; }
    return ($a['score'] > $b['score']) ? -1 : 1;
  }

  function sort_by_name($a, $b)
  {
    $name1 = strtolower($a['name']);
    $name2 = strtolower($b['name']);
  
    if ($name1 == $name2) { return 0; }
    
    $sort1 = array($name1, $name2);
    $sort2 = array($name1, $name2);

    sort($sort2);

    return ($sort1 === $sort2) ? -1 : 1;
  }
  
//--------------------------------------------------------+
  
  usort($player_list, "sort_by_name");

//--------------------------------------------------------+