Use php version_compare function instead of our own

Just realized I should have done it like this.