Remove now-unnecessary code from crossdomain.php