Text formatting options for HTML / PHP

Yes!

I like to use Froala Editor

After adding all dependencies to your project, just set your textarea as an input that will use the editor library.

Suppose you have a textarea like this:

<textarea id="resumoAtividades"></textarea>

You just need to do this on your JS:

<script>
        $(function() {
                $('textarea#resumoAtividades').froalaEditor()
        });
</script>

But there are several other alternatives:

The CKEditor is also well known, it's OpenSource and how to use it is similar to Froala.

To find other alternatives, search for textarea editor on Google.