Further fix for bug #20100 : incorrect Function mysql() has been deprecated report