Двоеточие -- разделитель операторов в одной строке. Похоже на то, что кто-то эстетствовал.