def formatmonthname(self, theyear, themonth, withyear=True):
        display_month = month_name[themonth]

        if isinstance(display_month, six.binary_type) and self.encoding:
            display_month = display_month.decode(self.encoding)

        if withyear:
            s = u'%s %s' % (display_month, theyear)
        else:
            s = u'%s' % display_month
        return ('<tr><th colspan="5" class="month">'
                '<button id="cal-today-btn" class="btn btn-small">'
                'Today</button> %s</th></tr>' % s)
Quickly see if file is a ZIP file by checking the magic number.
dataset/ETHPy150Open wreckage/django-happenings/happenings/utils/calendars.py/LegacyGenericCalendar.formatmonthname--crossover with--dataset/ETHPy150Open deanhiller/databus/webapp/play1.3.x/python/Lib/zipfile.py/is_zipfile