Branch: refs/heads/QA_4_6 Home: https://github.com/phpmyadmin/phpmyadmin Commit: 5b05665ff07d5af0dcd1d195711448202d0add7b https://github.com/phpmyadmin/phpmyadmin/commit/5b05665ff07d5af0dcd1d1957114... Author: Michal Čihař <michal@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@cihar.com>