I'm trying to install a couple extensions on my personal wiki that breaks on account
of missing the respective "extension.json" files.
(MediaWiki version 1.25.3)
Am I expected to create them myself if they're not there?
Online docs aren't so clear on that.
====
Sent from my mobile device - pardon the typos.