diff -r 000000000000 -r 7f95f8617b0b vendor/symfony/src/Symfony/Bundle/FrameworkBundle/Console/Shell.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/vendor/symfony/src/Symfony/Bundle/FrameworkBundle/Console/Shell.php Sat Sep 24 15:40:41 2011 +0200 @@ -0,0 +1,45 @@ + + * + * For the full copyright and license information, please view the LICENSE + * file that was distributed with this source code. + */ + +namespace Symfony\Bundle\FrameworkBundle\Console; + +use Symfony\Component\Console\Shell as BaseShell; + +/** + * Shell. + * + * @author Fabien Potencier + */ +class Shell extends BaseShell +{ + /** + * Returns the shell header. + * + * @return string The header string + */ + protected function getHeader() + { + return << + _____ __ ___ + / ____| / _| |__ \ + | (___ _ _ _ __ ___ | |_ ___ _ __ _ _ ) | + \___ \| | | | '_ ` _ \| _/ _ \| '_ \| | | | / / + ____) | |_| | | | | | | || (_) | | | | |_| |/ /_ + |_____/ \__, |_| |_| |_|_| \___/|_| |_|\__, |____| + __/ | __/ | + |___/ |___/ + + +EOF + .parent::getHeader(); + } +}