<?php function files() { return html("files.html.php"); } function add_file() { // TODO } function alter_file() { // TODO } function delete_file() { // TODO } ?>