f725c01cfd5c29005919850c1502066149dc1117	not-for-merge	branch 'master' of https://github.com/JakubOnderka/PHP-Console-Color
