Some new bugs for PhD

I've opened a series of new bug reports for PhD: http://bugs.php.net/bug.php?id=43191 build.php fails to included necessary theme dependencies http://bugs.php.net/bug.php?id=43192 Chunked HTML output difficult to use without TOC http://bugs.php.net/bug.php?id=43193 build.php does not allow output directory to be specified Since I don't have karma for PhD, I cannot do any commits (specifically, the first one would be easy to fix, though we would need to know exactly what to do, and I know Hannes is already aware of the issue). I can provide patches though, if you'd like. -- Edward Z. Yang GnuPG: 0x869C48DA HTML Purifier <http://htmlpurifier.org> Anti-XSS Filter [[ 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA ]]