From ccc27ec172224bc1f03b1ed0a4c947d232989d60 Mon Sep 17 00:00:00 2001 From: Markus Staab Date: Thu, 19 May 2022 22:03:19 +0200 Subject: [PATCH] docs --- docs/mysql.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/mysql.md b/docs/mysql.md index 89b600544..ada4d357b 100644 --- a/docs/mysql.md +++ b/docs/mysql.md @@ -6,7 +6,7 @@ At analysis time you can pick either `MysqliQueryReflector` or `PdoQueryReflecto ## Configuration -``` +```php