jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405596 )
Change subject: Remove 'moodbar' from the createExtensionTables.php
..
Remove 'moodbar' from the createExtensionTables.php
The extension was dropped from WMF wikis some time ago already and has
also been archived so there's no need for this here anymore.
Bug: T185525
Change-Id: I47ca70c4663a20a91af2b183fbf11aa16c3e5fe6
---
M createExtensionTables.php
1 file changed, 0 insertions(+), 8 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/createExtensionTables.php b/createExtensionTables.php
index 6a8f707..a6561de 100644
--- a/createExtensionTables.php
+++ b/createExtensionTables.php
@@ -78,14 +78,6 @@
$path = "$IP/extensions/Linter";
break;
- case 'moodbar':
- $files = [
- 'MoodBar.sql',
- 'moodbar_feedback_response.sql',
- ];
- $path = "$IP/extensions/MoodBar/sql";
- break;
-
case 'newsletter':
$files = [
'nl_newsletters.sql',
--
To view, visit https://gerrit.wikimedia.org/r/405596
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I47ca70c4663a20a91af2b183fbf11aa16c3e5fe6
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/WikimediaMaintenance
Gerrit-Branch: master
Gerrit-Owner: MarcoAurelio
Gerrit-Reviewer: Chad
Gerrit-Reviewer: Reedy
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits