Как отключить функцию "Экспорт" в Adminer

Question

Я пытаюсь отключить опцию экспорта данных в Adminer 4.2.1. Я нашел совет, что возвращение пустого массива для dumpFormat(), как это должно работать (начиная с Adminer 3.3.4):

function dumpFormat() {
    return array();
}

Но это просто приводит к тому, что строка выбора "Формат" становится пустой, я все равно могу экспортировать в любом формате по умолчанию. Есть ли способ полностью отключить его?