public static function antivir_scan_file($thefile, $filename, $deleteinfected) {
        debugging('Please upgrade your code to use \core\antivirus\manager::scan_file instead', DEBUG_DEVELOPER);
        \core\antivirus\manager::scan_file($thefile, $filename, $deleteinfected);
    }