<?php
$icon = "icons/".$file;
if (file_exists($icon)) {
    $icon = "icons/".$file;
} else {
    $icon = "icons/default.png";
}
?>