Paladox has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/329719 )
Change subject: Remove duplicate manifest_version from
UserManager/extension.json
......................................................................
Remove duplicate manifest_version from UserManager/extension.json
Change-Id: I4c74901ba587ac8882e9b6d03b569fbc77456cc7
(cherry picked from commit fabf16a73e45b2c76b31423039ec5b896a3d8811)
---
M UserManager/extension.json
1 file changed, 0 insertions(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/BlueSpiceExtensions
refs/changes/19/329719/1
diff --git a/UserManager/extension.json b/UserManager/extension.json
index 65a5726..d2e8459 100644
--- a/UserManager/extension.json
+++ b/UserManager/extension.json
@@ -1,5 +1,4 @@
{
- "manifest_version": "0.0.1",
"name": "UserManager",
"author": [
"Sebastian Ulbricht",
--
To view, visit https://gerrit.wikimedia.org/r/329719
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I4c74901ba587ac8882e9b6d03b569fbc77456cc7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions
Gerrit-Branch: REL1_27
Gerrit-Owner: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
