Mensajes de éxito al enviar formularios en PHP

Ahora hagamos que después de la redirección a la página se muestre un mensaje de éxito de guardado. Usemos para esto mensajes flash:

php<?php
  session_start();
  
  if (!empty($_POST)) {
    // guardar en la base de datos
    
    $_SESSION['flash'] = 'formulario guardado exitosamente';
    header('Location: form.php');
    die();
  }
  
  if (isset($_SESSION['flash'])) {
    echo $_SESSION['flash'];
    unset($_SESSION['flash']);
  }
?>