Don't add redundant includedir INSTALLDIR.'/extlib/'

This commit is contained in:
Mikael Nordfeldth 2014-03-09 22:11:08 +01:00
parent 779ce40ac3
commit 31d8069779
1 changed files with 1 additions and 7 deletions

View File

@ -36,13 +36,7 @@ ini_set("max_input_time", "0");
set_time_limit(0);
mb_internal_encoding('UTF-8');
// Add extlib to our path so we can get Console_Getopt
$_extra_path = array(INSTALLDIR.'/extlib/');
set_include_path(implode(PATH_SEPARATOR, $_extra_path) . PATH_SEPARATOR . get_include_path());
require_once 'Console/Getopt.php';
require_once INSTALLDIR . '/extlib/Console/Getopt.php';
// Note: $shortoptions and $longoptions should be pre-defined!