jdlx/rex_phpids — comment on commit a0f34f4787f1764da05e14341e36d85c1d627961
File: install.inc.php line 36
By gharlan:

you should also use version_compare() here...