[Resolvido] Notice: Undefined index: ALL_HTTP

Ola pessoal,

alguem sabe q erro eh esse??? E como arruma-lo????

if (strpos(strtolower($_SERVER['ALL_HTTP']),'OperaMini')>0) {
	$mobile_browser++;
}

grata pela atenção. ^^