The rest of the interface still looks like PHP - there are PHPSESSDATA cookies used throughout.

Note their 2014 update:

And yes, we still use PHP.