modified:   framework/kernel.php