A simple PHP function to check if the request comes from an AJAX XMLHttpRequest.