Better phpDocs: formatting.php