It seems as though the markup on github for the list of wiki pages changed somehow, and the .wiki-pages css selector was no longer working. This meant that the extension always had a list of 0 pages to search, which meant it couldn't do any useful for us. This css selector change gets it working again.
It seems as though the markup on github for the list of wiki pages changed somehow, and the
.wiki-pages
css selector was no longer working. This meant that the extension always had a list of 0 pages to search, which meant it couldn't do any useful for us. This css selector change gets it working again.