A tiny PHP library for stripping indents from multi-line scripts