MediaWiki  master
Result.php
Go to the documentation of this file.
1 <?php
21 use Shellbox\Command\UnboxedResult;
22 
23 class_alias( UnboxedResult::class, 'MediaWiki\\Shell\\Result', true );