neue Version für Mediawiki ab Version 1.32

2019-05-25 13:18:39 +02:00
parent a0f2accc98
commit 90479e2677
130 changed files with 2377 additions and 1608 deletions
--- a/Comments.i18n.alias.php
+++ b/Comments.i18n.alias.php
@@ -0,0 +1,14 @@
+<?php
+/**
+ * Aliases for special pages
+ *
+ * @file
+ * @ingroup Extensions
+ */
+
+$specialPageAliases = [];
+
+/** English */
+$specialPageAliases['en'] = [
+	'CommentIgnoreList' => [ 'CommentIgnoreList' ],
+];