Tidy up PHP short tags.
Uses the title.inc.php timestamped include instead of the static one
The web directory is now specified in the config file
External configuration file for the browser of historical reports
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.