Changing PHP version number
Merge branch 'release/0.1.2'