code: def convert_month(date, shorten=True, cable=True):
      
      month = date.split()[0].lower()
      if 'sept' in month:
          shorten = False if cable else True
  
      try:
          if shorten:
              month = SHORT_MONTHS[MONTHS.index(month)]
          else:
              month = MONTHS[SHORT_MONTHS.index(month)]
      except ValueError:
          month = month.title()
  
      return '{0} {1}'.format(month, ' '.join(date.split()[1:]))
docs: Replace month by shortening or lengthening it.
  
      :param shorten: Set to True to shorten month name.
      :param cable: Set to True if category is Cable.