They're using PHP and Smarty, from looking at comments in the source code.
I find it highly ironic that the people in charge of web standards and consistency use the programming language with least consistent syntax.
I find it highly ironic that the people in charge of web standards and consistency use the programming language with least consistent syntax.