Mozilla Persona's IdP impl helper file.

session.php

function activeSessionFor(email) {
  <?php
    if ( isset($_SESSION['email']) && strlen($_SESSION['email']) > 0 ) {
      echo "return true;";
    } else {
      echo "return false;";
    }
  ?>
}