javascript中的双分号语法

有人能告诉我javascript中的双分号（；；）是什么意思吗？我在fullcalendar.js中看到它们

谢谢

下面是fullcalendar.js代码的一个片段（摘自）：

（函数（$，未定义）{
;;
var默认值={
//展示
defaultView:'月份'，
方面：1.35，
标题：{
左：'标题'，
中心：''，
右图：“今天上一个，下一个”
},
周末：没错，
周数：假，
周数计算：“iso”，
周编号：“W”，
allDayDefault:true，
ignoreTimezone:对，
//事件ajax
懒散的人：是的，
StartRAM:“开始”，
endParam:'结束'，
//时间格式
标题格式：{
月份：'MMMM yyyy'，
周：“MMM d[yyyy]{&"8212；'[MMM]d yyyy}”，
日期：'dddd，mmmd，yyyy'
},
列格式：{
月份：“ddd”，
周：“ddd M/d”，
日期：'ddddm/d'
},
timeFormat:{//用于事件元素
'''h（：mm）t'//默认值
},
//地点
isRTL：错，
第一天:0,，
月份名称：[“一月”、“二月”、“三月”、“四月”、“五月”、“六月”、“七月”、“八月”、“九月”、“十月”、“十一月”、“十二月”]，
月报：[“一月”、“二月”、“三月”、“四月”、“五月”、“六月”、“七月”、“八月”、“九月”、“十月”、“十一月”、“十二月”]，
日名：[“星期日”、“星期一”、“星期二”、“星期三”、“星期四”、“星期五”、“星期六”]，
dayNamesShort:[“太阳”，“星期一”，“星期二”，“星期三”，“星期五”，“星期六]，
按钮文字：{
上一页：“&lsaqo；”，
下一步：“&rsaquo；”，
上一年：“«；”，
下一步：“»；”，
今天:"今天",，
月：'月'，
周：“周”，
day:“day”
},
//jquery ui主题化
主题：假，
钮扣：{
上一页：“圆-三角形-w”，
下一步：“圆圈-三角形-e”
},
//可选：false，
unselectAuto:true，
dropAccept:“*”，
HandleWindowSize:true
};
...
}

（；；）{…}的

与（1）{…}

for（；）

比

while（1）

---

facebook的AJAX响应都以空for循环开始。
双分号
；
与
for
循环无关，在
fullcalendar.js
的情况下

代码本身的解析或执行没有任何价值（它基本上是无害的）相反，作者使用了
；
仅仅作为分隔逻辑代码块的哨兵。这样做是一个奇怪而深奥的选择，但事实证明，使用CTRL-F搜索
；
从一个部分跳到另一个部分是非常有帮助的（例如，类定义似乎是以这种方式分隔的）

作者可以使用注释，例如：

/*；*/

或

/*CLASSDEF*/

等等，但他没有

还确认：我测试的JavaScript缩略器删除了
；
，因此对代码肯定不重要，在搜索缩略代码时也没有帮助。（但注释也没有，因为它们被删除了）。
这意味着输入错误。：）显示一些代码片段，不是每个人都知道什么是
fullcalendar.js
。@epascarello:或者（；；）

的

的一部分。不，这只是作者组织代码的奇怪方式。它不是打字错误，也不是
for
循环的一部分，它打破了类定义。如果你看完整的代码，这是更清楚的这并没有回答实际的问题。。。这个在代码中，示例没有嵌入for循环。这正是让我感到困惑的地方。for循环中的两个分号。谢谢，这正是我们想知道的！
(function($, undefined) {

;;

var defaults = {

    // display
    defaultView: 'month',
    aspectRatio: 1.35,
    header: {
        left: 'title',
        center: '',
        right: 'today prev,next'
    },
    weekends: true,
    weekNumbers: false,
    weekNumberCalculation: 'iso',
    weekNumberTitle: 'W',   
    allDayDefault: true,
    ignoreTimezone: true,

    // event ajax
    lazyFetching: true,
    startParam: 'start',
    endParam: 'end',

    // time formats
    titleFormat: {
        month: 'MMMM yyyy',
        week: "MMM d[ yyyy]{ '—'[ MMM] d yyyy}",
        day: 'dddd, MMM d, yyyy'
    },
    columnFormat: {
        month: 'ddd',
        week: 'ddd M/d',
        day: 'dddd M/d'
    },
    timeFormat: { // for event elements
        '': 'h(:mm)t' // default
    },

    // locale
    isRTL: false,
    firstDay: 0,
    monthNames: ['January','February','March','April','May','June','July','August','September','October','November','December'],
    monthNamesShort: ['Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec'],
    dayNames: ['Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday'],
    dayNamesShort: ['Sun','Mon','Tue','Wed','Thu','Fri','Sat'],
    buttonText: {
        prev: "<span class='fc-text-arrow'>&lsaquo;</span>",
        next: "<span class='fc-text-arrow'>&rsaquo;</span>",
        prevYear: "<span class='fc-text-arrow'>&laquo;</span>",
        nextYear: "<span class='fc-text-arrow'>&raquo;</span>",
        today: 'today',
        month: 'month',
        week: 'week',
        day: 'day'
    },

    // jquery-ui theming
    theme: false,
    buttonIcons: {
        prev: 'circle-triangle-w',
        next: 'circle-triangle-e'
    },

    //selectable: false,
    unselectAuto: true,

    dropAccept: '*',

    handleWindowResize: true

};

...
}

Empty “for” loop