Workaround to avoid showing responsive menu in AJAX calls.

#6084 
I failed to find a different way to know whether we are in an AJAX callback or not, hence I used $_GET.