Home
last modified time | relevance | path

Searched hist:"03 aafe1cc677b4b0b0b0ef9ed04d8ab72f3ce583" (Results 1 – 1 of 1) sorted by relevance

/dokuwiki/inc/
H A Dindexer.php03aafe1cc677b4b0b0b0ef9ed04d8ab72f3ce583 Sun Dec 02 23:13:01 UTC 2012 Michael Hamann <michael@content-space.de> Indexer: add getPID/getPageFromPID functions and PID to INDEXER_PAGE_ADD

This allows plugins to get the PID for a page and also to get the page
for a certain PID. That way plugins can build their own index that uses
numeric ids.