Re: Improve our wiki

On 11/24/23 08:11, Cédric Villemain wrote:
> Le 23/11/2023 à 21:40, Stefan Kaltenbrunner a écrit :
>> On 10/2/23 16:40, Cédric Villemain wrote:
>>> Hi,
>>
>> Hi Cédric!
> 
> Hi Stefan !
> 
>>> 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<---------
>>
>>
>> Sorry for the the somewhat long response time on this request but this 
>> extension has now been turned on.
> 
> 
> Thank you for taking care of this request!
> 
> However CategoryTree should have appear here [1] in "Parser hooks" 
> table, like on mediawiki [2]
> 
> Doc is explicit: «This extension comes with MediaWiki 1.31 and above. 
> Thus you do not have to download it again. However, you still need to 
> follow the other instructions provided.» (the setting and you're done)
> 
> Maybe we have a custom install (1.35.13) without the extension file ?
> 
> [1] https://wiki.postgresql.org/wiki/Special:Version
> [2] https://www.mediawiki.org/wiki/Special:Version


Sorry for that - While I had commited that change to our configuration 
management I had forgotten to deploy it, so the extension was active for 
a while but the config got reverted automatically later on...

Should be fixed now...


Stefan