They tried the usual wikis, like mediawiki, confluence,... But had no search integration of their other documentation. And I had the advantage of being the php

They tried the usual wikis, like mediawiki, confluence,... But had no search integration of their other documentation. And I had the advantage of being the phpwiki maintainer those times to easily extend it to our needs. And I wrote some custom plugins for them, with ajax tricks. It helped that phpwiki is not such a mess as mediawiki, which was also entirely insecure. All these plugins were up streamed then. Then Alcatel took over maintainance and they run a similar knowledge base.