IDCOL/index.php

<?php

$url = '/web/index.html';
// $url = empty($_GET['user']) ? $url : $url.'?user='.$_GET['user'];
header('Location: '.$url);