Robin Whittleton 2affd08cf9 Initialise highlighting without jQuery ... Nothing against the venerable old library, but it’s only being used here as a loader for the syntax highlighter. This approach will work in everything even remotely modern (IE9+, everything else), and saves 30Kb gzipped plus parsing time on the pages it’s used on.		2018-12-30 17:50:34 -06:00
..
ContributeAlert.php	Initial commit	2018-12-29 16:02:00 -06:00
EbookGrid.php	Initial commit	2018-12-29 16:02:00 -06:00
Footer.php	Initial commit	2018-12-29 16:02:00 -06:00
Header.php	Initialise highlighting without jQuery	2018-12-30 17:50:34 -06:00
SearchForm.php	Initial commit	2018-12-29 16:02:00 -06:00