Finish #12722 "Update micro_kernel_trait.rst"#13088

wouterj merged 2 commits into3.4symfony/symfony-docs:3.4from

pull-12722symfony/symfony-docs:pull-12722Copy head branch name to clipboard