all-in-one/php/public/disable-fulltextsearch.js

document.addEventListener("DOMContentLoaded", function(event) {
    // Fulltextsearch
    var fulltextsearch = document.getElementById("fulltextsearch");
    fulltextsearch.disabled = true;
});