prolibre

@schoolsict I think the best thing to do is to disable NOTICES in the PHP logs until the update is available.