for the Manutenzioni pages.
*
* Usage (before including):
* $MNT_TITLE = 'Registro attrezzature';
* $MNT_PLUGINS = ['fullcalendar']; // opzionale
* include __DIR__ . '/include/page_head.php';
*
* Works from any depth under /userarea/ — the base href is derived from
* SCRIPT_NAME, so all asset paths stay relative to /userarea/.
*/
$MNT_TITLE = $MNT_TITLE ?? 'Manutenzioni';
$MNT_PLUGINS = $MNT_PLUGINS ?? [];
$mntScriptName = $_SERVER['SCRIPT_NAME'] ?? '';
$mntMarker = '/userarea/';
$mntPos = strpos($mntScriptName, $mntMarker);
$MNT_BASE = $mntPos !== false
? substr($mntScriptName, 0, $mntPos + strlen($mntMarker))
: '/userarea/';
?>
<?= mnt_h($MNT_TITLE) ?> — Manutenzioni