<?php
/////////////////////////////////////////////////
// PukiWiki - Yet another WikiWikiWeb clone.
//
// $Id: nomenubar.inc.php,v 1.1 2004/07/31 03:09:20 miko Exp $
//

function plugin_nomenubar_convert()
{
	global $menubar;
	$menubar = '';
	return '';
}
/* End of file nomenubar.inc.php */
/* Location: ./wiki-common/plugin/nomenubar.inc.php */