UserOptionsStore.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\User\Options;
 
use MediaWiki\User\UserIdentity;
 
interface UserOptionsStore {
    public function fetch( UserIdentity $user, int $recency );
 
    public function fetchBatchForUserNames( array $keys, array $userNames );
 
    public function store( UserIdentity $user, array $updates );
}