Use php version_compare function instead of our own
Merge pull request #531 from colemanw/versionCompare

Use php version_compare function instead of our own