This repository has been archived on 2024-06-01. You can view files and clone it, but cannot push or open issues or pull requests.

stuzer05 7547bc11df Add extensions		2022-12-09 13:44:17 +02:00
..
mediawiki_extensions	Add extensions	2022-12-09 13:44:17 +02:00
mediawiki_override	Add extensions	2022-12-09 13:44:17 +02:00
mediawiki_skins	Initial	2022-12-02 21:14:14 +02:00
scripts	Initial	2022-12-02 21:14:14 +02:00