ctdo.de/php/generator.php

<?php

function print_element($element_name) {
    print(file_get_contents("/elements/$element_name.html"));
}

?>