search

MWStake / nonwmf-extensions

A super-repository of MediaWiki extensions not hosted at Wikimedia.
22 stars 24 forks source link

Remove WikiMANNia's repositories #45

Closed kizule closed 1 year ago

kizule commented 1 year ago

Based on https://github.com/MWStake/nonwmf-extensions/pull/40

kizule commented 1 year ago

But this is actually rebased. :)

I'll make sure to cleanup labs/codesearch repo right after merging this.

kizule commented 1 year ago

40 got improvements, I'm closing this one.