Hi everyone!

We're currently using version 15, and we're looking for a way to restrict access to the developer mode for certain users. We found a module (disable_developer_mode) that does this, but it appears to be unavailable for version 15. While developers still need access to the developer mode, we want to restrict it for other users. 

Do you know if there's any way to do this in version 15? 

If it can't be permenently restricted, we would like to disable it for all users that have it activate it. Is there anywhere in the database where this information is stored?

Thanks!