The unofficial WordPress Plugin Directory
This is a simple plugin to add custom attributes to WordPress menus.