
<?php

   $servername = "localhost:3306";

   $username = "emanuel";

   $password = "emanuel123";

   $dbname = "informatik_gymli";



   // Create connection

   $db = mysqli_connect($servername, $username, $password, $dbname);



   if (!$db) {

      die("Connection failed: " . mysqli_connect_error());

   } else {

      echo "Connection successful";

   }



mysqli_close($db);



echo "<br>";

echo "<div style=\"background-color:#D3D3D3;\">";

highlight_file("connection.php"); //outputs the source code of this file to the web page

echo "</div>";

?>