GetSessionJwtDataHook.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Hook;
 
use MediaWiki\Session\SessionManager;
use MediaWiki\User\UserIdentity;
 
interface GetSessionJwtDataHook {
 
    public function onGetSessionJwtData( ?UserIdentity $user, array &$jwtData ): void;
 
}