var jquery_8timer_8widget_8js =
[
    [ "extend", "jquery_8timer_8widget_8js.html#addf90662ccdd233a687d38ca399a9de9", null ],
    [ "if", "jquery_8timer_8widget_8js.html#aca6096cc954ccbf840baf7740c11170f", null ],
    [ "if", "jquery_8timer_8widget_8js.html#ae479d29f3c89b76dee581c3f1af35e64", null ]
];