API: difftoprev fails when 'rvprop=ids' is not specified. Sort of gross way to fix...
[lhc/web/wiklou.git] / redirect.php5
1 <?php require './redirect.php'; ?>