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 43bcf57bb4 Add manifest.json patch		2024-04-25 14:43:50 +03:00
..
config_placeholder_replace.php	Initial	2022-12-02 21:14:14 +02:00
mediawiki-ext-patch.sh	Add manifest.json patch	2024-04-25 14:43:50 +03:00
mediawiki-ext-search.sh	Add automatic mediawiki extension download url parser	2024-04-22 15:30:51 +03:00