jenkins-bot has submitted this change and it was merged.
Change subject: Add wikiversions{-labs}.php to .gitignore
......................................................................
Add wikiversions{-labs}.php to .gitignore
Bug: T108638
Change-Id: I8a1b80b654b65dfa673063d1eb3724e4b1311944
---
M .gitignore
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.gitignore b/.gitignore
index 09f244e..49e88e3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,7 +13,9 @@
wmf-config/ExtensionMessages-*.php
php-*/
wikiversions.cdb
+wikiversions.php
wikiversions-labs.cdb
+wikiversions-labs.php
wmf-config/*-setup.php
wmf-config/checkers.php
wmf-config/interwiki.cdb
--
To view, visit https://gerrit.wikimedia.org/r/230690
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8a1b80b654b65dfa673063d1eb3724e4b1311944
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
