The syntax highlighted source is automatically generated by PHP from the plaintext script. If you're interested in what's behind the several functions we used, you can always take a look at the source of the following files:
Of course, if you want to see the source of this page, we have it available. You can also browse the Git repository for this website on git.php.net.