<?php
$mysql_server = "localhost";
$mysql_user = "prova_pis";
$mysql_password = "patata";
$mysql_db = "prova_pis";
?>