Código PHP:
Ver original<!DOCTYPE html>
<!--
Página de búsqueda, donde una vez pongan la extensión aparecerá toda
la información.
-->
<html>
<head>
<meta charset="UTF-8">
<?php
include 'funciones.php';
$extension = $_GET["extension"];
echo "<title>.$extensionMAY Información sobre la extension .$extensionMAY</title>";
?>
</head>
<body>
<?php
conectar_a_bd();
if (!empty($_GET["extension"])) { echo "<h1>Información sobre la extensión .$extensionMAY</h1><br />";
echo "<h2>¿ Que es un archivo .$extensionMAY ?</h2><br />";
// realizamos consulta
$consulta = mysqli_query($conexion, "SELECT definicion FROM extension WHERE ext='$extension'");