<?php
/**
* @file
* Install, uninstall, and update functions for the feeds_ui module.
*/
* Empty update function to trigger a menu rebuild.
function feeds_ui_update_7000() {
// Do nothing.
}