public function drop_models() { doctrine_destroy_models(); }
function doctrine_uninstall() { doctrine_destroy_database(); doctrine_destroy_models(); }