PHPdoc in ConsoleTools.php