Translate extension for MediaWiki
Loading...
Searching...
No Matches
TranslationStashReader.php
1
<?php
2
declare( strict_types = 1 );
3
4
namespace
MediaWiki\Extension\Translate\TranslatorSandbox;
5
6
use User;
7
8
/*
9
* @author Niklas Laxström
10
* @license GPL-2.0-or-later
11
* @since 2020.11
12
*/
13
interface
TranslationStashReader
{
19
public
function
getTranslations
( User $user ): array;
20
}
MediaWiki\Extension\Translate\TranslatorSandbox\TranslationStashReader
Definition
TranslationStashReader.php:13
MediaWiki\Extension\Translate\TranslatorSandbox\TranslationStashReader\getTranslations
getTranslations(User $user)
Gets all stashed translations for the given user.
src
TranslatorSandbox
TranslationStashReader.php
Generated by
1.10.0