--TEST-- Bug #81135: unknown help topic fails assertion --PHPDBG-- help unknown q --FILE-- <?php ?> --EXPECTF-- [Successful compilation of %sbug81135.php] prompt> [No help topic found for unknown] prompt>
