Setup
- MediaWiki 1.31.1 (8635864) 19:51, 15. Okt. 2018
- PHP 7.0.30-0+deb9u1 (apache2handler)
- MariaDB 10.1.26-MariaDB-0+deb9u1
- RottenLinks 1.0.1 (c7f4466) 20:48, 16. Okt. 2018
Issue
Special page "Version" currently does not show the license link "GPL-3.0-or-later" which should still be added to "extension.json"