Anakeen/dynacase-control — pull request #35 by eguaj (2012-11-22 17:21:00+00:00)
Title: Use PHP's version_compare() function (closes #2983)

Use the PHP's builtin version_compare() function instead of our "legacy"
comparison function.