<?php
require("template.php");

# Now set the title of the page:
setPageTitle("Info for Developers");

# Make the header.
generateHeader($_SERVER['PHP_SELF']);
?>

<?php generateFooter(); ?>