diff --git a/prive/vignettes/index.php b/prive/vignettes/index.php
index 4c1ac18933ec3057ae14dee1367b5ce65fd3ce5b..42124e0ed8f771e5f3f69df750cdb7b9bbf76a28 100644
--- a/prive/vignettes/index.php
+++ b/prive/vignettes/index.php
@@ -12,7 +12,7 @@
 			$myDir = opendir('.');
 			$i= 0;
 			while($file = readdir($myDir)) {
-			  if (ereg("\.(png|gif)$", $file)) {
+			  if (preg_match(",\.(png|gif)$,i", $file)) {
 				$r = "\n\t<td style='text-align:center; padding:10px'>$file<br /><img src='$file' alt='$file' /></td>";
 				if ($i%10) echo $r; else echo "</tr>\n<tr>", $r;
 				$i++;