Fix #1 Better version comparison for PHP