mirror of
https://github.com/php/web-doc.git
synced 2025-08-06 11:06:29 +00:00
split init from libraries
This commit is contained in:
@ -65,7 +65,7 @@ exit(0);
|
||||
**/
|
||||
|
||||
// define some common variables
|
||||
include '../include/lib_general.inc.php';
|
||||
include '../include/init.inc.php';
|
||||
|
||||
// grab the documentation type
|
||||
$TYPE = array_shift($argv);
|
||||
|
Reference in New Issue
Block a user