diff options
| author | Chris Smith <chris@jalakai.co.uk> | 2007-09-30 04:10:40 +0200 |
|---|---|---|
| committer | Chris Smith <chris@jalakai.co.uk> | 2007-09-30 04:10:40 +0200 |
| commit | 103c256a6f9161bec0a89e70eb600c84bcb51e50 (patch) | |
| tree | 022946b4decc8d7297552d183280900042a5bd32 /inc/indexer.php | |
| parent | 25ec097b5237c0e0cffd5c26918898836516aff6 (diff) | |
| download | rpg-103c256a6f9161bec0a89e70eb600c84bcb51e50.tar.gz rpg-103c256a6f9161bec0a89e70eb600c84bcb51e50.tar.bz2 | |
add page_exists function (inc/pageutils.php)
bool page_exists($id, $rev
darcs-hash:20070930021040-d26fc-e3847bfdd20a36154685262eca94211cfd461e83.gz
Diffstat (limited to 'inc/indexer.php')
| -rw-r--r-- | inc/indexer.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/indexer.php b/inc/indexer.php index 54d57611a..0b4e60b13 100644 --- a/inc/indexer.php +++ b/inc/indexer.php @@ -523,7 +523,7 @@ function idx_parseIndexLine(&$page_idx,$line){ $doc = trim($page_idx[$doc]); if(!$doc) continue; // make sure the document still exists - if(!@file_exists(wikiFN($doc,'',false))) continue; + if(!page_exists($doc,'',false)) continue; $result[$doc] = $cnt; } |