functional php: double semicolon