Does TheVerge use PHP?

I'm trying to make a website, so I'm trying to figure out what some of my favorite websites use for content management. I know that TheVerge's CMS is Chorus, but do they use any PHP in the actual website? My first thought was that it would be impossible to have a website without some sort of PHP for connecting to databases and such, but after skimming over the home page's source, I didn't find any PHP. So, if they don't use PHP, how the hell do they connect/use databases.