undefined indices

undefined indices make my ddevel environnment unhappy.
I've created the attached patch, but Bart pointed out that

we probably only need
$dev_query = variable_get('dev_query', 0);

maybe wrapped in an if(function_exist('dev_query'))

Comments?