| 12345678910111213141516171819202122 |
- 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"
|
