original_string: public static function available_numofreviews_list() {
          $options = array();
          $options[30] = 30;
          $options[20] = 20;
          $options[15] = 15;
          for ($i = 10; $i >= 0; $i--) {
              $options[$i] = $i;
          }
          return $options;
      }
code: public static function available_numofreviews_list() {
          $options = array();
          $options[30] = 30;
          $options[20] = 20;
          $options[15] = 15;
          for ($i = 10; $i >= 0; $i--) {
              $options[$i] = $i;
          }
          return $options;
      }
code_tokens: public static function available_numofreviews_list ( ) { $ options = array ( ) ; $ options [ 30 ] = 30 ; $ options [ 20 ] = 20 ; $ options [ 15 ] = 15 ; for ( $ i = 10 ; $ i >= 0 ; $ i -- ) { $ options [ $ i ] = $ i ; } return $ options ; }
docstring: Return an array of possible numbers of reviews to be done
  
  Should contain numbers 1, 2, 3, ... 10 and possibly others up to a reasonable value
  
  @return array of integers
docstring_tokens: Return an array of possible numbers of reviews to be done