$files = scandir('xml/');
$file = shuffle($files);
foreach($files as $file) {
    if (!isset($_GET['id']) and preg_match('/^article.*.xml$/i', $file)) {
        echo '
              <ul>
                  <li>' . $file . '</li>
              </ul>';
    }
}