Imported from Mediawiki default skin

This commit is contained in:
Diskette Guy
2025-07-18 00:20:55 +07:00
parent 314b39f4bb
commit 9da7278191
35 changed files with 7825 additions and 0 deletions
+3
View File
@@ -0,0 +1,3 @@
<?php
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';