manager for PHP output buffers