Turn on devel in your dev copy, not on production. Just by using settings.php

This module is designed to enable modules on dev or staging (for example devel module), not to disable modules on you production site. It's fine to have the module enabled on production, in fact that's the idea, but do not configure your production settings.php to use it.

See original: Environment modules | drupal.org