1  <?php
 2  
 3  // Flag code to name mapping
 4  function get_board_flags_array() {
 5    static $board_flags = array(
 6      'FL1' => 'Flag 1',
 7      'FL2' => 'Flag 2'
 8    );
 9    
10    return $board_flags;
11  }
12  
13  // Flag names as they appear in the selection menu
14  function get_board_flags_selector() {
15    static $board_flags = array(
16      'FL1' => 'Flag 1',
17      'FL2' => 'Flag 2'
18    );
19    
20    return $board_flags;
21  }
22  
23  function board_flag_code_to_name($code) {
24    $board_flags = get_board_flags_array();
25    return isset($board_flags[$code]) ? $board_flags[$code] : 'None';
26  }