/etc/desktop-profiles/debian-edu-menus.listing is in education-menus 1.713+deb7u1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | # Menu reordering for teachers and students
edu-menus;XDG_CONFIG;/usr/share/debian-edu/menu;;$(/usr/share/debian-edu/menu/menus/is-enabled);Menu reordering
|