[babf37]: end_page.php Maximize Restore History

Download this file

end_page.php    43 lines (31 with data), 2.0 kB

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
<?php
function end_page($file) {
global $top;
$quotes[0]="<q>The most valuable commodity I know of is information.</q> - Gordon Gekko";
$quotes[1]="<q>Measurement is a crucial component of performance improvement since reasoning and intuition are fallible guides and must be supplemented with tools like timing commands and profilers.</q> - The Practice of Programming, Brian W. Kernighan and Rob Pike";
$quotes[2]="<q>It is a capital mistake to theorise before one has data. Insensibly one begins to twist facts to suit theories instead of theories to suit facts.</q> - Sherlock Holmes";
$quotes[3]="<q>Premature optimization is the root of all evil.</q> - Tony Hoare";
$quotes[4]="<q>More computing sins are committed in the name of efficiency (without necessarily achieving it) than for any other single reason - including blind stupidity.</q> - W. A. Wulf";
$quotes[5]="<q>Rules of Optimization: Rule 1: Don't do it. Rule 2 (for experts only): Don't do it yet.</q> - M.A. Jackson";
$quotes[6]="<q>Bottlenecks occur in surprising places, so don't try to second guess and put in a speed hack until you've proven that's where the bottleneck is.</q> - Rob Pike";
$quotes[7]="<q>Speed, it seems to me, provides the one genuinely modern pleasure.</q> - Aldous Huxley";
$quotes[8]="<q>Optimizations always bust things, because all optimizations are, in the long haul, a form of cheating, and cheaters eventually get caught.</q> - Larry Wall";
$quotes[9]="<q>A wise man proportions his belief to the evidence.</q> - David Hume";
$quotes[10]="<q>Don't speculate - benchmark.</q> - Dan Bernstein";
$nr_quotes=11;
div("redrule");
enddiv("redrule");
div("quote");
$i=rand(0, $nr_quotes - 1);
print("$quotes[$i]\n");
enddiv("quote");
div("timestamp");
if (file_exists("$top" . "$file" . "index.php")) {
print strftime("%Y/%m/%d", filemtime($top . $file . "index.php"));
} else {
print strftime("%Y/%m/%d", filemtime($top . $file));
}
enddiv("timestamp");
enddiv("page");
print("</body>\n</html>\n");
}