[phpMyAdmin Git] [phpmyadmin/phpmyadmin] b4bcd3: Fix eslint after #15435

[William Desportes]

Branch: refs/heads/QA_5_0
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: b4bcd34e289d91971751eef9690171483e3a5eb3
https://github.com/phpmyadmin/phpmyadmin/commit/b4bcd34e289d91971751eef9690171483e3a5eb3
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-12-16 (Mon, 12 December 2019) +01:00

Changed paths: 
M js/functions.js

Log Message:
-----------
Fix eslint after #15435

Signed-off-by: William Desportes <williamdes at wdes.fr>