jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/359049 )
Change subject: Remove AccountAudit
......................................................................
Remove AccountAudit
Change-Id: I2644f4a158fdeca7603fe8480752a6ff509fe405
---
M addWiki.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/addWiki.php b/addWiki.php
index bbd86be..9d12e41 100644
--- a/addWiki.php
+++ b/addWiki.php
@@ -100,7 +100,6 @@
$dbw->sourceFile(
"$IP/extensions/TimedMediaHandler/TimedMediaHandler.sql" );
$dbw->sourceFile(
"$IP/maintenance/archives/patch-filejournal.sql" );
$dbw->sourceFile(
"$IP/extensions/GeoData/sql/externally-backed.sql" ); // Not actually enabled
everywhere, but this is easier
- $dbw->sourceFile(
"$IP/extensions/AccountAudit/accountaudit.sql" );
$dbw->sourceFile(
"$IP/extensions/BetaFeatures/sql/create_counts.sql" );
$dbw->sourceFile( "$IP/extensions/SecurePoll/SecurePoll.sql" );
$dbw->sourceFile( "$IP/extensions/Linter/linter.sql" );
--
To view, visit https://gerrit.wikimedia.org/r/359049
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2644f4a158fdeca7603fe8480752a6ff509fe405
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/WikimediaMaintenance
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
