| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| src/ | 2020-06-02 22:44 | - | ||
| includes/ | 2019-10-15 01:56 | - | ||
| maintenance/ | 2019-08-21 02:48 | - | ||
| tests/ | 2019-04-11 03:16 | - | ||
| res/ | 2019-04-11 03:16 | - | ||
| phpunit.xml.dist | 2019-04-11 03:16 | 3.1K | ||
| phpmd.xml | 2019-04-11 03:16 | 1.0K | ||
| phpcs.xml | 2019-04-11 03:16 | 3.5K | ||
| i18n/ | 2019-04-11 03:16 | - | ||
| extension.json | 2019-04-11 03:16 | 717 | ||
| docs/ | 2019-04-11 03:16 | - | ||
| data/ | 2019-04-11 03:16 | - | ||
| composer.json | 2019-04-11 03:16 | 3.2K | ||
| SemanticMediaWiki.php | 2019-04-11 03:16 | 2.6K | ||
| DefaultSettings.php | 2019-04-11 03:16 | 78K | ||
| COPYING | 2019-04-11 03:16 | 18K | ||