¿Dos puntos dobles en la declaración de función en Javascript?

Hoy encontré este fragmento de código:

<object ID="FF" CLASSID="clsid:guid" CODEBASE="url" VIEWASTEXT></object>
<object ID="FileSaver" CLASSID="clsid:guid" CODEBASE="url" VIEWASTEXT></object>
…
<script language="javascript">
    function FileSaver::OnFinished(Status){…}
    function FF::OnFinished(Status){…}
</script>

No puedo encontrarcualquier cos relevante para explicar esta sintaxis. ¿Es realmente javascript? ¿Es correcto? Si no, ¿cómo debería verse el código?

Esta es una sola página sin enlaces de script externos. Tenga en cuenta que las declaraciones de funciones están directamente dentro de<script> bloque.

Respuestas a la pregunta(1)

Su respuesta a la pregunta