Wie bereits erwähnt hab ich das Problem nun gelöst.
<?php
$bilder = array(
'..\werbung\1.png',
'..\werbung\2.png',
'..\werbung\3.png',
'..\werbung\4.png',
'..\werbung\5.png',
'..\werbung\6.png',
'..\werbung\7.png',
'..\werbung\8.png',
'..\werbung\9.png'
);
echo '<li class="werbung"><img src="'.$bilder[array_rand($bilder)].'"/></li>';
echo '<li class="werbung"><img src="'.$bilder[array_rand($bilder)].'"/></li>';
?>
Du hast recht, kann nun bessere Dateitypen verwenden. Und das ist weitaus weniger aufwand als erst ein schönes GIF zu basteln.. :)