diff options
| author | Michal Rezler <rezlemic@fel.cvut.cz> | 2011-04-08 22:38:27 +0200 |
|---|---|---|
| committer | Michal Rezler <rezlemic@fel.cvut.cz> | 2011-04-08 22:38:27 +0200 |
| commit | 5e8ffd73fd2a48f7a78e085ca7ed0dda73fb8af7 (patch) | |
| tree | 7d6e598c52037249f707989a962e89481ca4afa2 /inc/indexer.php | |
| parent | ff482cae0f5a620704d845037d60ae13ab851410 (diff) | |
| parent | fda14ffc7c57c4451df9196e8125cd39b1d5c134 (diff) | |
| download | rpg-5e8ffd73fd2a48f7a78e085ca7ed0dda73fb8af7.tar.gz rpg-5e8ffd73fd2a48f7a78e085ca7ed0dda73fb8af7.tar.bz2 | |
Merge branch 'master' of git://github.com/splitbrain/dokuwiki
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 110901e58..1db966656 100644 --- a/inc/indexer.php +++ b/inc/indexer.php @@ -1170,7 +1170,7 @@ function idx_addPage($page, $verbose=false) { if(@file_exists($idxtag)){ if(trim(io_readFile($idxtag)) == idx_get_version()){ $last = @filemtime($idxtag); - if($last > @filemtime(wikiFN($ID))){ + if($last > @filemtime(wikiFN($page))){ if ($verbose) print("Indexer: index for $page up to date".DOKU_LF); return false; } |