1	<?php
2
3	use MediaWiki\User\User;
4
5	interface IUserMergeLogger {
6
7	/**
8	* Adds a merge log entry
9	*
10	* @param User $performer
11	* @param User $oldUser
12	* @param User $newUser
13	*/
14	public function addMergeEntry( User $performer, User $oldUser, User $newUser );
15
16	/**
17	* Adds a user deletion log entry
18	*
19	* @param User $performer
20	* @param User $oldUser
21	*/
22	public function addDeleteEntry( User $performer, User $oldUser );
23	}