Pinocchio's annotated source

• Configuration
• Formatter
• HighlighterInterface
• Pygments
• LoggerInterface
• NullLogger
• StandardLogger
• ParserInterface
• Php
• Pinocchio
• Worker