echo("<button class='col-sm-2 border1' name='myButton1()'>");
echo("<p>Bokad</p>");
echo("</button>");

session_start();
$bokning = 0;
$_SESSION['bokningar'] = $bokning;

function myButton1(){
   $bokning = 1;
   header("Location: editcomment.php");
}