original_string: public static function pull(&$array, $key, $default = null)
      {
          if (array_key_exists($key, $array)) {
              $value = $array[$key];
              unset($array[$key]);
          } else {
              $value = $default;
          }
  
          return $value;
      }
code: public static function pull(&$array, $key, $default = null)
      {
          if (array_key_exists($key, $array)) {
              $value = $array[$key];
              unset($array[$key]);
          } else {
              $value = $default;
          }
  
          return $value;
      }
code_tokens: public static function pull ( & $ array , $ key , $ default = null ) { if ( array_key_exists ( $ key , $ array ) ) { $ value = $ array [ $ key ] ; unset ( $ array [ $ key ] ) ; } else { $ value = $ default ; } return $ value ; }
docstring: Get a value from the array, and remove it.
  
  @param  array   $array
  @param  string  $key
  @param  mixed   $default
  @return mixed
docstring_tokens: Get a value from the array and remove it .