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