[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 5b0566: Ensure kill ID is integer

[Michal Čihař]

  Branch: refs/heads/QA_4_6
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 5b05665ff07d5af0dcd1d195711448202d0add7b
      https://github.com/phpmyadmin/phpmyadmin/commit/5b05665ff07d5af0dcd1d195711448202d0add7b
  Author: Michal Čihař <michal at cihar.com>
  Date:   2016-06-16 (Thu, 16 Jun 2016)

  Changed paths:
    M server_status_processes.php

  Log Message:
  -----------
  Ensure kill ID is integer

Signed-off-by: Michal Čihař <michal at cihar.com>