PHP extension to watch (unusually high) memory consumption in PHP scripts