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