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 <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits