original_string: public function get_months() {
          $months = array();
  
          $date = new \DateTime('@1263556800');
          $date->setTimezone(new \DateTimeZone('UTC'));
          for ($i = 1; $i <= 12; $i++) {
              $date->setDate(2000, $i, 15);
              $months[$i] = userdate($date->getTimestamp(), '%B', 'UTC');
          }
  
          return $months;
      }
code: public function get_months() {
          $months = array();
  
          $date = new \DateTime('@1263556800');
          $date->setTimezone(new \DateTimeZone('UTC'));
          for ($i = 1; $i <= 12; $i++) {
              $date->setDate(2000, $i, 15);
              $months[$i] = userdate($date->getTimestamp(), '%B', 'UTC');
          }
  
          return $months;
      }
code_tokens: public function get_months ( ) { $ months = array ( ) ; $ date = new \ DateTime ( '@1263556800' ) ; $ date -> setTimezone ( new \ DateTimeZone ( 'UTC' ) ) ; for ( $ i = 1 ; $ i <= 12 ; $ i ++ ) { $ date -> setDate ( 2000 , $ i , 15 ) ; $ months [ $ i ] = userdate ( $ date -> getTimestamp ( ) , '%B' , 'UTC' ) ; } return $ months ; }
docstring: Returns a list of all the names of the months.
  
  @return array the month names
docstring_tokens: Returns a list of all the names of the months .