<?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
}
