whole_func_string: function formatDate(datestr, resolution) {
      datestr = datestr.replace(' ', 'T'); // Cross-browser accepted date format
      var date = new Date(datestr);
      var output = MONTHS[date.getMonth()];
  
      resolution = resolution || DATE_MONTH;
  
      if (resolution >= DATE_DAY) {
          output += ' ' + date.getDate() + ',';
      }
  
      output += ' ' + date.getFullYear();
  
      if (resolution >= DATE_MINUTE) {
          output += ' at ' + date.getHours() + ':' +
              ('0' + date.getMinutes()).slice(-2);
      }
      if (resolution >= DATE_SECOND) {
          output += ':' + ('0' + date.getSeconds()).slice(-2);
      }
  
      return output;
  }
func_code_string: function formatDate(datestr, resolution) {
      datestr = datestr.replace(' ', 'T'); // Cross-browser accepted date format
      var date = new Date(datestr);
      var output = MONTHS[date.getMonth()];
  
      resolution = resolution || DATE_MONTH;
  
      if (resolution >= DATE_DAY) {
          output += ' ' + date.getDate() + ',';
      }
  
      output += ' ' + date.getFullYear();
  
      if (resolution >= DATE_MINUTE) {
          output += ' at ' + date.getHours() + ':' +
              ('0' + date.getMinutes()).slice(-2);
      }
      if (resolution >= DATE_SECOND) {
          output += ':' + ('0' + date.getSeconds()).slice(-2);
      }
  
      return output;
  }
func_documentation_string: Format a date string to the given resolution.
  @param datestr The date string to format.
  @param resolution The resolution, defaults to 'day'. Minimum is month.