<?php // $Id$ /** * Refreshes scheduled feeds. */ function feeds_queue_refresh() { }