Tengo este código en el encabezado de mi sitio:

 <?php if(($Variable1 > 0) && (isset($_SESSION["role"]) && ($_SESSION["role"]==12 || $_SESSION["role"]==13))){ ?> <button type="button" class="btn btn-danger btn-block btn-block"><i class="fa fa-exclamation-triangle"> </i> Number Left: <?php echo $NumberLeft; ?></button> <?php } ?>

Quiero que este código se ejecute cada 30 segundos.

No puedo hacer que una página se actualice cada 30 segundos porque perdería los datos que no están guardados hasta ese momento en esa página. Entonces necesito actualizar solo el banner específico. Encontré al buscar que podría actualizar el encabezado

 (header('Refresh: 10; URL=http://yoursite.com/page.php');

pero está actualizando toda la página, lo cual no quiero. Además, me gustaría que esta actualización de encabezado ocurra en todas las páginas del sitio, ya que este encabezado es común.