From 6dae236ec5528522de472637f9d70a98158b9a5d Mon Sep 17 00:00:00 2001 From: Fabio Bas Date: Thu, 5 Feb 2015 11:45:26 +0100 Subject: Renamed 3rdparty directory to vendor MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Php namespaces can’t begin with a number --- framework/3rdParty/PhpShell/php-shell-init.php | 87 -------------------------- 1 file changed, 87 deletions(-) delete mode 100644 framework/3rdParty/PhpShell/php-shell-init.php (limited to 'framework/3rdParty/PhpShell/php-shell-init.php') diff --git a/framework/3rdParty/PhpShell/php-shell-init.php b/framework/3rdParty/PhpShell/php-shell-init.php deleted file mode 100644 index fd0e9063..00000000 --- a/framework/3rdParty/PhpShell/php-shell-init.php +++ /dev/null @@ -1,87 +0,0 @@ -registerExtensions(array( - "options" => PHP_Shell_Options::getInstance(), /* the :set command */ - - "autoload" => new PHP_Shell_Extensions_Autoload(), - "autoload_debug" => new PHP_Shell_Extensions_AutoloadDebug(), - "colour" => new PHP_Shell_Extensions_Colour(), - "exectime" => new PHP_Shell_Extensions_ExecutionTime(), - "inlinehelp" => new PHP_Shell_Extensions_InlineHelp(), - "verboseprint" => new PHP_Shell_Extensions_VerbosePrint() - // "loadscript" => new PHP_Shell_Extensions_LoadScript() -)); - -- cgit v1.2.3