1	<?php
2	declare( strict_types = 1 );
3
4	namespace MediaWiki\Extension\Translate\TranslatorSandbox;
5
6	use MediaWiki\User\User;
7
8	/*
9	* @author Niklas Laxström
10	* @license GPL-2.0-or-later
11	* @since 2020.11
12	*/
13	interface TranslationStashReader {
14	/**
15	* Gets all stashed translations for the given user.
16	*
17	* @return StashedTranslation[]
18	*/
19	public function getTranslations( User $user ): array;
20	}