<?php function files() { set("title", "Titre"); return html("files.html.php", "layout.html.php"); } function add_file() { // TODO } function alter_file() { // TODO } function delete_file() { // TODO }