divio/django-cms — pull request #3198 by johnraz (2014-05-25 11:43:26+00:00)
Title: Added PAGE_MENU_IDENTIFIER and HISTORY_MENU_IDENTIFIER to map the existing ADMIN_MENU_IDENTIFIER

It helps when trying to modify the page / history menu to have a constant to refer to instead of looking for a string deep into the source.