..F....... [DEV-539] host_prototypes.php: fixed formatting