diff plugins/advanced_search/advanced_search.php.orig @ 42:db1e51c59ddc

various small fixes from upgrades to PHP and/or hangover from fix to apt-get overwrite at beginning of the year somehow
author Charlie Root
date Sun, 26 Jan 2025 13:12:28 -0500
parents d2414df68d78
children
line wrap: on
line diff