Adding missing files

I (Joel) recently switched my programming interface to PHPStorm, and I thought I was adding files on commits, but I wasn't.