Using unsanitized $_GET is the least of their problems considering mysql_* is deprecated.
When you upgrade to PHP 5.6 and your application grinds to a halt because mysql_query isn't available, you'll be wishing you'd fixed it sooner.
(RHEL/CentOS is currently on PHP 5.3 and will stay there for a long time.)
I'd be interested in a cite on the licensing issues, incidentally; I'm not aware of anything. (There _is_ an issue with the JSON extension at present, though, so it's not impossible.)