MediaWiki - 基于 PageID 的搜索

Question

我在工作中使用 MediaWiki 并创建一个知识库。我们已经完成了所有设置，但一个要求是在每个页面上都有一个唯一的标识符，然后可以在官方文档中引用它。我通过使用神奇的词 {{PAGEID}} 来做到这一点，所以它被添加到每个页面的右下角。

另一个要求是能够根据此唯一编号找到页面，但使用内置搜索功能时无法找到该页面。

例如，主页的右下角有文字“Page ID:1”。搜索“页面 ID：1”时，什么都找不到，Wiki 只给了我创建页面的选项。

有谁知道如何搜索或让搜索包含页面 ID？

任何帮助将不胜感激。

Answer 1

global $wgHooks;
$wgHooks['SearchGetNearMatchBefore'][] = function ( array $allSearchTerms, &$titleResult ) {
    $searchTerm = $allSearchTerms[0];
    if ( preg_match( '/^id:\d+$/', $searchTerm ) ) {
        $pageId = (int)substr( $searchTerm, 3 );
        $titleResult = Title::newFromID( $pageId );
        return false;
    }
};

当您在搜索框中输入id:123 时，将跳转到ID 为123 的页面。不过，使用搜索似乎是一种愚蠢的方式。