UserPromotedHook.php

<?php
declare( strict_types = 1 );
 
// phpcs:disable MediaWiki.NamingConventions.LowerCamelFunctionsName.FunctionName
 
namespace MediaWiki\Extension\Translate\TranslatorSandbox;
 
use MediaWiki\User\UserIdentity;
 
interface UserPromotedHook {
    public function onTranslate_TranslatorSandbox_UserPromoted( UserIdentity $user ): void;
}