<?php // -*-php-*-
// $Id$
?>
<!-- Ratings -->
<?php if (!$WikiTheme->DUMP_MODE) {
  $loader = new WikiPluginLoader();
  printXML($loader->expandPI("<"."?plugin RateIt show=top ?".">", $request, $dbi->_markup));
} ?>