Looks like a 3rd party service. 
But, you wouldn't need PHP & MySQL. He could've (assuming the Arduino can handle it) written something to receive the comments, store them on an SD card, and play them back when the page is loaded. He didn't, but could've.