Source of: /manual/en/install.problems.bugs.php
<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/install.problems.inc";
$setup = array (
'home' =>
array (
0 => 'index.php',
1 => 'PHP Manual',
),
'head' =>
array (
0 => 'UTF-8',
1 => 'en',
),
'this' =>
array (
0 => 'install.problems.bugs.php',
1 => 'Bug reports',
),
'up' =>
array (
0 => 'install.problems.php',
1 => 'Problems?',
),
'prev' =>
array (
0 => 'install.problems.support.php',
1 => 'Other problems',
),
'next' =>
array (
0 => 'configuration.php',
1 => 'Runtime Configuration',
),
);
$setup["toc"] = $TOC;
$setup["parents"] = $PARENTS;
manual_setup($setup);
manual_header();
?>
<div id="install.problems.bugs" class="sect1">
<h2 class="title">Bug reports</h2>
<p class="simpara">
If you think you have found a bug in PHP, please report it. The
PHP developers probably don't know about it, and unless you
report it, chances are it won't be fixed. You can report bugs
using the bug-tracking system at <a href="http://bugs.php.net/" class="link external">» http://bugs.php.net/</a>. Please do not
send bug reports in mailing list or personal letters. The
bug system is also suitable to submit feature requests.
</p>
<p class="simpara">
Read the <a href="http://bugs.php.net/how-to-report.php" class="link external">» How to report a bug</a>
document before submitting any bug reports!
</p>
</div><?php manual_footer(); ?>