Replaced accidentally-deleted productmenu.class.php