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

document.addEventListener("DOMContentLoaded", function(event) {
    // Collabora
    const collabora = document.getElementById("office-collabora");
    collabora.disabled = true;
});