| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| resources/ | 2018-04-20 09:25 | - | ||
| i18n/ | 2018-04-20 09:25 | - | ||
| extension.json | 2018-05-10 08:49 | 916 | ||
| composer.json | 2018-05-10 08:49 | 128 | ||
| LICENSE | 2018-05-10 08:49 | 34K | ||
| FilterSpecialPages.php | 2018-05-10 08:49 | 240 | ||