Might I also suggest the Developer plugin which includes this and other helpful developer plugins useful for WordPress development?