OpenSlides/OpenSlides — pull request #1287 by normanjaeckel (2014-05-15 18:09:55+00:00)
Title: Renamed 'permission_required' to 'required_permission' etc.

Renamed method and attribute of openslides.utils.views.PermissionMixin. Renamed attribute of widgets and main menu entries. Fixed #1160.