..F....... [DEV-539] disc_prototypes.php:

 - fixed formatting