🕸📝Fergus Duniho wrote on Thu, Jul 15, 2021 02:32 AM UTC:
I made mass edits to most pages on the site today using sed. I added a line to all .html pages up to five or six levels deep and to all the .php files in /index/ to include the /g/headcode.php script after the HEAD tag. This is for being able to insert common code into the head section of each page. While I expect the .html files are all okay, the scripts were not all uniform in how they handled the head section. Some would include it as HTML, and some would write it with PHP code. For example, msdisplay.php was broken until I fixed it earlier this evening. So, if you come across any other script that is not working right, let me know so that I can fix it.
I made mass edits to most pages on the site today using sed. I added a line to all .html pages up to five or six levels deep and to all the .php files in /index/ to include the /g/headcode.php script after the HEAD tag. This is for being able to insert common code into the head section of each page. While I expect the .html files are all okay, the scripts were not all uniform in how they handled the head section. Some would include it as HTML, and some would write it with PHP code. For example, msdisplay.php was broken until I fixed it earlier this evening. So, if you come across any other script that is not working right, let me know so that I can fix it.