Lines Matching refs:p
16 echo "<h1>Not Found</h1>\n<p><strong>" .
18 "</strong> not found on this server.</p>\n";
30 "<p>The manual page you are looking for (<strong>" .
34 "<a href=\"/contact.php\">contact the webmasters</a>.</p>\n";
46 "<p>The " . htmlspecialchars($lang_name) . " manual page you are looking for (<strong>" .
48 "</strong>) is no longer available.</p>\n";
50 echo "<p>The English page is available at <a href=\"{$en_url}\">{$en_url}</a></p>\n";
51 echo "<p>Several other languages are also available:</p>\n";
71 "<p>The service you tried to access with <strong>" .
75 "<a href=\"/contact.php\">contact the webmasters</a>.</p>\n";
83 echo "<h1>No such mirror</h1>\n<p>The mirror you tried to access (" .
87 "<a href=\"/contact.php\">contact the webmasters</a>.</p>\n";
619 <p>The manual page you are looking for (<strong>$original_url</strong>) is not available.</p>
621 <p>However, this page exists in a legacy manual for the following PHP versions.</p>
623 …p>Please note that legacy manuals are maintained by Zend and not the PHP Documentation Group. Any …
625 …p>If you were looking for this page in the current PHP version and believe this to be a mistake, p…
