(bug 11654) updateSearchIndex.php now uses a wiki-specific position file.