Merge pull request #186866 from sikmir/micro
micro: fix syntax highlighting
authored by Jörg Thalheim and committed by GitHub 3 years ago 6a3e7da9 05e9b4c5