[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 10cd18: Fix #15095 - Wrong format of comments

[William Desportes]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 10cd180442dcd7571500f0b37d84fa4206ee5f18
https://github.com/phpmyadmin/phpmyadmin/commit/10cd180442dcd7571500f0b37d84fa4206ee5f18
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-03-25 (Mon, 03 March 2019) +01:00

Changed paths: 
M libraries/error.inc.php

Log Message:
-----------
Fix #15095 - Wrong format of comments

Fixes commit: 5ba97aa1de76fe7a6f5eb2efe3c568ba5c43bedf
Closes: #15108
Closes: #15107
Closes: #15097
Fixes: #15095
Signed-off-by: William Desportes <williamdes at wdes.fr>