<?php

require('../_util.php');

$phppgadmin_version = phppgadmin_version();

header("Location: /phppgadmin-${phppgadmin_version}/index.php");