Umherirrender has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/385249 )
Change subject: Add alias file for new special page
......................................................................
Add alias file for new special page
Follow-Up: Id0f0857f62250b3341c3ca41fc05a9830a20735e
Change-Id: I701ed89aaa4bde8f5df2cc5234d2876a711be084
---
A EventBus.alias.php
M extension.json
2 files changed, 17 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/EventBus
refs/changes/49/385249/1
diff --git a/EventBus.alias.php b/EventBus.alias.php
new file mode 100644
index 0000000..81af006
--- /dev/null
+++ b/EventBus.alias.php
@@ -0,0 +1,14 @@
+<?php
+/**
+ * Aliases for special pages
+ *
+ * @file
+ * @ingroup Extensions
+ */
+
+$specialPageAliases = [];
+
+/** English (English) */
+$specialPageAliases['en'] = [
+ 'RunSingleJob' => [ 'RunSingleJob' ],
+];
diff --git a/extension.json b/extension.json
index 4a4dea8..d26a37d 100644
--- a/extension.json
+++ b/extension.json
@@ -30,6 +30,9 @@
"i18n"
]
},
+ "ExtensionMessagesFiles": {
+ "EventBusAlias": "EventBus.alias.php"
+ },
"Hooks": {
"RevisionInsertComplete": [
"EventBusHooks::onRevisionInsertComplete"
--
To view, visit https://gerrit.wikimedia.org/r/385249
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I701ed89aaa4bde8f5df2cc5234d2876a711be084
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EventBus
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
