Improve our wiki

Hi,

is someone against adding CategoryTree to our mediawiki installation ?
( https://www.mediawiki.org/wiki/Extension:CategoryTree )

If no one is opposed, can pginfra update the configuration please ?

---------8<------8<---------
Add the following code in LocalSettings.php file:
   wfLoadExtension( 'CategoryTree' );

---------8<------8<---------

Thank you,

---
Cédric Villemain +33 (0)6 20 30 22 52
https://Data-Bene.io
PostgreSQL Expertise, Support, Training, R&D