1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

If there is no manual in the language selected by the user,

then this service is unable to work, so inform the user on this
This commit is contained in:
Gabor Hojtsy
2003-09-06 09:16:51 +00:00
parent 3225ece2d6
commit 0033373d06

View File

@@ -18,6 +18,7 @@
// Ensure that our environment is set up
$_SERVER['BASE_PAGE'] = 'quickref.php';
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/errors.inc';
// Constant values for the display
define("COLUMNS", 3);
@@ -53,7 +54,7 @@ function quickref_table($functions)
// if there is no dir for that language
$dirh = @opendir($_SERVER['DOCUMENT_ROOT'] . "/manual/$LANG");
if (!$dirh) {
$dirh = opendir($_SERVER['DOCUMENT_ROOT'] . "/manual/en");
error_noservice();
}
$functions = $maybe = $temp = $parts = array();