<?php // This file is intended to be included by a PHP script. It expects that // the variable $title has been set, and then generates HTML to open a page // with that title. It is mostly HTML, but it shifts to php in two places // in order print $title. Oh, and this comment is PHP, too. ?> <html><head><title><?php echo $title; ?></title></head> <body style="background-color: #EFEFFF;"> <img src="http://sandbox.mc.edu/~bennet/icons/bibart.gif" style="height: 3px; width: 100%;"> <img src="http://sandbox.mc.edu/~bennet/icons/msplash3.gif" style="float: right;"> <div style="color: #050b82; padding-top: 10px;"> <span style="font-size: 180%; font-weight: bold; font-family: sans-serif "><?php echo $title; ?></span><div style="padding-top: 5pt;"> <a href="../index.html"><img src="http://sandbox.mc.edu/~bennet/icons/up3.gif" style="border: 0pt; padding-right: 5pt; padding-left: 15pt; vertical-align: middle;">PHP Code Examples</a></div> </div> <img src="http://sandbox.mc.edu/~bennet/icons/bibar.gif" style="height: 3px; width: 100%; margin-bottom: 10pt; clear: right; ">