Merge pull request #5790 from MrPetovan/bug/php7-remove-pear-text_highlighter
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Tue, 25 Sep 2018 08:38:17 +0000 (10:38 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Sep 2018 08:38:17 +0000 (10:38 +0200)
commita2bd52797675a06b121384482aa520bbb1091fc6
treecf06c5700c1cbda1deab1dc207b3c815714776e9
parentd019a87ecc0ea5317ac992c8b6845ca0aba84d9d
parent8b55bc58815b3f2611fabfa2df389653ecb954d9
Merge pull request #5790 from MrPetovan/bug/php7-remove-pear-text_highlighter

Normalize padding of inline code