SearchResultPageIdentity.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Rest\Entity;
 
interface SearchResultPageIdentity {
    public function getId(): int;
 
    public function getNamespace(): int;
 
    public function getDBkey(): string;
}