<?php

require "Require.php";
include "Encoder_Header.php";
include "Includeables.php";
$user = $_SESSION['Logged_In_User'];
$encoder = new Encoder_Controller($user);
//make an encoder object
$Companies = $encoder->Get_All_Companies_With_Specialization(GeneralCategory::RECREATIONAL);
$Num_Companies = mysqli_num_rows($Companies);
?>
<div class="col-sm-8 list_container margin_0">
	<div class="col-sm-12">
		<div class="col-sm-12 margin_top_10">
			<div class="panel panel-default margin_top_10">
				<div class="panel-body text-center">
					<h4> ሁሉም የመዝናኛ ተቋማት የድርጅት ዝርዝር </h4>
				</div>
			</div>

			<?php 
if ($_SERVER['REQUEST_METHOD'] == "GET") {
    if (isset($_GET['error'])) {
        $error_msg = $_GET['error'];
        ?>

					<div class="alert alert-danger alert-dismissable">
						<button type="button" class="close" data-dismiss="alert" aria-hidden="true">&times;</button>
						<strong>Warning!</strong><?php 
        echo $error_msg;
        ?>
<?php

require "Require.php";
include "Encoder_Header.php";
include "Includeables.php";
$user = $_SESSION['Logged_In_User'];
$encoder = new Encoder_Controller($user);
//make an encoder object
$Companies = $encoder->Get_All_Companies_With_Specialization(GeneralCategory::HEALTH);
$Num_Companies = mysqli_num_rows($Companies);
?>
<div class="col-sm-8 list_container margin_0">
	<div class="col-sm-12">
		<div class="col-sm-12 margin_top_10">
			<div class="panel panel-default margin_top_10">
				<div class="panel-body text-center">
					<h4> ሁሉም የጤና ተቋማት የድርጅት ዝርዝር </h4>
				</div>
			</div>

			<?php 
if ($_SERVER['REQUEST_METHOD'] == "GET") {
    if (isset($_GET['error'])) {
        $error_msg = $_GET['error'];
        ?>

					<div class="alert alert-danger alert-dismissable">
						<button type="button" class="close" data-dismiss="alert" aria-hidden="true">&times;</button>
						<strong>Warning!</strong><?php 
        echo $error_msg;
        ?>