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

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