DB query caching and php 7.2

Hello,

I just upgraded my server to PHP 7.2 and faced an error in the line 2673 of the file DB_query_builder.php

the error is a result of the change in the behavior of the function count() in PHP 7.2 and I did wrote a fast fix for that problem. It might not be the best approach but it did the job. I changed this:

PHP Code:

           for ($i = 0, $c = count($this->$qb_variable); $i < $c; $i++)
            {
                if ( ! in_array($this->{$qb_variable}[$i], $qb_new, TRUE))
                {
                    $qb_new[] = $this->{$qb_variable}[$i];
                    if ($val === 'select')
                    {
                        $qb_no_escape[] = $this->qb_no_escape[$i];
                    }
                }
            } 


to

PHP Code:

if (null!=$this->$qb_variable)
{
    for ($i = 0, $c = count($this->$qb_variable); $i < $c; $i++)
    {
        if ( ! in_array($this->{$qb_variable}[$i], $qb_new, TRUE))
        {
            $qb_new[] = $this->{$qb_variable}[$i];
            if ($val === 'select')
            {
                $qb_no_escape[] = $this->qb_no_escape[$i];
            }
        }
    }
}