PHP version: 5.4.12.

Closes #20.