Umherirrender has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/394579 )
Change subject: Add BlueSpiceWhoIsOnline and BlueSpiceWatchList
......................................................................
Add BlueSpiceWhoIsOnline and BlueSpiceWatchList
Change-Id: I3e6e4ada209cb48cebf7d87a584ef9c039b83987
---
M .gitmodules
A BlueSpiceWatchList
A BlueSpiceWhoIsOnline
3 files changed, 10 insertions(+), 0 deletions(-)
Approvals:
Umherirrender: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index 1162471..c15b18d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -322,6 +322,14 @@
path = BlueSpiceSubPageTree
url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/BlueSpiceSubPageTree
branch = .
+[submodule "BlueSpiceWatchList"]
+ path = BlueSpiceWatchList
+ url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/BlueSpiceWatchList
+ branch = .
+[submodule "BlueSpiceWhoIsOnline"]
+ path = BlueSpiceWhoIsOnline
+ url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/BlueSpiceWhoIsOnline
+ branch = .
[submodule "BoilerPlate"]
path = BoilerPlate
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/BoilerPlate
diff --git a/BlueSpiceWatchList b/BlueSpiceWatchList
new file mode 160000
index 0000000..d318fda
--- /dev/null
+++ b/BlueSpiceWatchList
@@ -0,0 +1 @@
+Subproject commit d318fda2a2ec42ca2b43c5ea3c03c1c5898dafc7
diff --git a/BlueSpiceWhoIsOnline b/BlueSpiceWhoIsOnline
new file mode 160000
index 0000000..7631dd8
--- /dev/null
+++ b/BlueSpiceWhoIsOnline
@@ -0,0 +1 @@
+Subproject commit 7631dd83faeeff0192baed538aa69e7130e5e516
--
To view, visit https://gerrit.wikimedia.org/r/394579
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3e6e4ada209cb48cebf7d87a584ef9c039b83987
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
