google-code-prettify vs laravel/tinker | What are the differences? | StackShare