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