1	<?php
2	declare( strict_types = 1 );
3
4	namespace MediaWiki\Extension\Translate\TranslatorSandbox;
5
6	use MediaWiki\User\User;
7
8	interface TranslationStashWriter {
9	/**
10	* Adds a new translation to the stash. If the same key already exists, the
11	* previous translation and metadata will be replaced with the new one.
12	*/
13	public function addTranslation( StashedTranslation $item ): void;
14
15	/** Delete all stashed translations for the given user. */
16	public function deleteTranslations( User $user ): void;
17	}