When trying to destroy a session from a user in session administration interface, a fatal error occurs:

PHP Fatal error: Call to undefined method eZSession::destroy() in /kernel/setup/session.php

The call should be eZSession::getHandlerInstance()->destroy( $sessionKeyItem );
instead of eZSession::destroy();

Patch is attached to solve this issue