diff options
| author | Michael Hamann <michael@content-space.de> | 2012-03-15 14:55:32 +0100 |
|---|---|---|
| committer | Michael Hamann <michael@content-space.de> | 2012-03-15 14:59:41 +0100 |
| commit | 8d1fa7573a9c92901a1fef0e77f6543f0b3fcf62 (patch) | |
| tree | de5a5d7c1bc0c67d79d8803b1ff80fc9d9c1a901 | |
| parent | a23ac4d7df6b3952d2d1b76686d3b439fc0a6759 (diff) | |
| download | rpg-8d1fa7573a9c92901a1fef0e77f6543f0b3fcf62.tar.gz rpg-8d1fa7573a9c92901a1fef0e77f6543f0b3fcf62.tar.bz2 | |
Display the indexer web bug for deleted pages
This executes the indexer for deleted pages. This is necessary for the
search index to be able to deleted deleted pages from the search index.
| -rw-r--r-- | inc/template.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/inc/template.php b/inc/template.php index d9a2042ad..5733972f7 100644 --- a/inc/template.php +++ b/inc/template.php @@ -1012,8 +1012,6 @@ function _tpl_img_action($data, $param=NULL) { */ function tpl_indexerWebBug(){ global $ID; - global $INFO; - if(!$INFO['exists']) return false; $p = array(); $p['src'] = DOKU_BASE.'lib/exe/indexer.php?id='.rawurlencode($ID). |