pmc-minutes.php

<?php  																														require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); 	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); 	$App 	= new App();	$Nav	= new Nav();	$Menu 	= new Menu();		include($App->getProjectCommon());    # All on the same line to unclutter the user's desktop'

$pageTitle 		= "Technology Project PMC Minutes";
$pageKeywords	= "technology";
$pageAuthor		= "Bjorn Freeman-Benson Nov 20/05";

ob_start();
if( $_GET['key'] ) {
?>
    <div id="maincontent">
	<div id="midcolumn">
<?php
           if( preg_match( "/^(\d\d\d\d\.\d\d\.\d\d)$/", $_GET['key'], $matches ) > 0 ) {
               $key = $matches[1];
			  $contents = file_get_contents( "minutes/" . $key . ".html" );
			   echo $contents ;
			} else {
?>
				<font color="red">
				Sorry, <?= $_GET['key'] ?> is not a valid PMC meeting minutes file.
				</font>
<?php
			}
?>

      </div>
  </div>
<?php
} else {
?>		
    <div id="maincontent">
	<div id="midcolumn">
        <h1><?= $pageTitle ?></h1>
        
        <ul>
<?php
   $dir = "minutes/";
   if ($dh = opendir($dir)) {
       while (($file = readdir($dh)) !== false) {
           if( preg_match( "/(\d\d\d\d\.\d\d\.\d\d)\.html/", $file, $matches ) > 0 ) {
             $key = $matches[1];
             echo "<li><a href=\"pmc-minutes.php?key=$key\">$key</a></li>\n";
           }
       }
       closedir($dh);
    } else {
    	echo "<li>" . $dir . " does not exist\n";
    }
?>
</ul>

      </div>
  </div>
<?php
}
	$html = ob_get_contents();
	ob_end_clean();

	# Generate the web page
	$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
?>