5.0.0-rc1 - Show Processlist triggers exception

[following5]

Describe the bug

The command show processlist, entered in any SQL tab on my phpMyAdmin 5.0 installation, produces this:

Fatal error: Uncaught TypeError: Argument 1 passed to PhpMyAdmin\DatabaseInterface::getKillQuery() must be of the type int, string given, called in C:\www\pma5\libraries\classes\Display\Results.php on line 3344 and defined in C:\www\pma5\libraries\classes\DatabaseInterface.php:3019

Stack trace:
#0 C:\www\pma5\libraries\classes\Display\Results.php(3344): PhpMyAdmin\DatabaseInterface->getKillQuery('1')
#1 C:\www\pma5\libraries\classes\Display\Results.php(2560): PhpMyAdmin\Display\Results->_getDeleteAndKillLinks('.`Id` = 1 AND ....', false, 'show processlis...', 'kp', Array)
#2 C:\www\pma5\libraries\classes\Display\Results.php(4298): PhpMyAdmin\Display\Results->_getTableBody(Object(mysqli_result), Array, Array, Array, false)
#3 C:\www\pma5\libraries\classes\Sql.php(1666): PhpMyAdmin\Display\Results->getTable(Object(mysqli_result), Array, Array, false) #4 C:\www\pma5\libraries\classes\Sql.php(2002): PhpMyAdmin\Sql->getHtmlForSqlQueryResultsTable(Object(PhpMyAdmin\Display\Results), './themes/pmahom...', NULL, Array, false, 11, in C:\www\pma5\libraries\classes\DatabaseInterface.php on line 3019

Expected behavior

Show the process list

Server configuration

• Operating system: Windows 7 SP1 32bit
• Web server: Apache 2.4.41
• Database version: MariaDB 10.4.11
• PHP version: 7.4.1
• phpMyAdmin version: 5.0.0-rc1

Client configuration

• Browser: Firefox 71.0, Chrome 78.0.3904.108
• Operating system: same system