Skip to content

Add $wgSmjExplorerEnabled, off by default - #84

Merged
jmnote merged 1 commit into
mainfrom
explorer-setting
Oct 8, 2026
Merged

jmnote merged 1 commit into
mainfrom
explorer-setting

Commits

  1. Commits on Oct 8, 2026