StdinFileInfo::getFilename - Replace phpdoc with normal comment and add back empty line before return