32 private $mResultArr = [];
46 if ( $pageIdentity ===
null ) {
47 # Invalid or non-importable title
48 $r[
'title'] = $pageInfo[
'title'];
51 $titleFactory = MediaWikiServices::getInstance()->getTitleFactory();
53 $r[
'revisions'] = (int)$successCount;
56 $this->mResultArr[] = $r;
59 parent::reportPage( $pageIdentity, $foreignTitle, $revisionCount, $successCount, $pageInfo );
63 return $this->mResultArr;
Import reporter for the API.
reportPage(?PageIdentity $pageIdentity, $foreignTitle, $revisionCount, $successCount, $pageInfo)
static addTitleInfo(&$arr, $title, $prefix='')
Add information (title and namespace) about a Title object to a result array.
Interface for objects (potentially) representing an editable wiki page.