jQuery UI: Deux points-virgules après l'expression logique avec wrapper fonction

Question

que je cherchais à un code jQuery UI, a trouvé un comportement bizarre là-bas:

jQuery.ui||(function(a){ /*... */ })(jQuery);; 

La logique OU est clair pour moi, l'emballage de fonction (encore chercher le nom correct pour cela), aussi, mais pourquoi deux points-virgules?

Merci à l'avance

Vincent

EDIT: Je viens de trouver une autre chose bizarre: Dans le version on google apis est seulement un point-virgule. Mais lorsque vous créez votre build sur http://jqueryui.com/download, il y a deux points-virgules.

Answer 1

Décomposant:

// make sure that any previous statements are properly closed 
// this is handy when concatenating files, for example 
; 
// Call the jQuery.ui object, or, if it does not exist, create it 
jQuery.ui || (function($) { 

reference

Answer 2

Typo? Je ne peux pas penser à une raison valable.

Answer 3

Cela doit être soit un bug ou un malentendu. Deux points-virgules consécutifs n'ont pas de sens.