// includes/AlertManager.php