User talk:Andrew Korson

Welcome to AGI Wiki! We hope you will contribute much and well. You will probably want to read the help pages. Again, welcome and have fun! Andrew Branscom (talk) 03:28, 15 March 2019 (EDT)

Attached is the php file for the AGI highlighting.