php - dva středníky na konci řádku

Ahoj,

v několika php aplikacích jsem náhodou objevil, že na několika místech jsou na koncích řádků místo jednoho středníku dva. Aplikace fungují v pořádku.
Má se jednat jen o překlep, nebo mají 2 středníky nějakou speciální funkcionalitu?

Díky.