name = EditMenu Devel Menu description = Include the developer menu in the editmenu tree. dependencies[] = editmenu dependencies[] = devel files[] = editmenu_devel.module core = 7.x package = Menu project = editmenu ; Information added by drupal.org packaging script on 2010-05-26 version = "7.x-1.x-dev" core = "7.x" project = "editmenu" datestamp = "1274876110" ; Information added by drupal.org packaging script on 2011-11-10 version = "7.x-1.x-dev" core = "7.x" project = "editmenu" datestamp = "1320887030"