[Bug 8282] WEB: Devel/tools page is out of date