Documentation fix for devel_shutdown

/**
 * See devel_start() which registers this function as a shutdown function.
 */
function devel_shutdown() {

should be like this (?)

/**
 * See devel_boot() which registers this function as a shutdown function.
 */
function devel_shutdown() {