Krinkle has submitted this change and it was merged.
Change subject: Add submodule for mediawiki/tools/code-utils.git
......................................................................
Add submodule for mediawiki/tools/code-utils.git
Change-Id: I1a09e248ff458480f4ff3e62bb667479be0b66f6
---
M .gitmodules
A bin/phplint
A tools/mwcodeutils
3 files changed, 4 insertions(+), 0 deletions(-)
Approvals:
Krinkle: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index f7c9857..3ee1317 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -10,3 +10,6 @@
[submodule "tools/junitdiff"]
path = tools/junitdiff
url = https://gerrit.wikimedia.org/r/p/integration/junitdiff
+[submodule "tools/mwcodeutils"]
+ path = tools/mwcodeutils
+ url = https://gerrit.wikimedia.org/r/p/mediawiki/tools/code-utils.git
diff --git a/bin/phplint b/bin/phplint
new file mode 120000
index 0000000..8d8741a
--- /dev/null
+++ b/bin/phplint
@@ -0,0 +1 @@
+../tools/mwcodeutils/lint.php
\ No newline at end of file
diff --git a/tools/mwcodeutils b/tools/mwcodeutils
new file mode 160000
index 0000000..708a35d
--- /dev/null
+++ b/tools/mwcodeutils
+Subproject commit 708a35d0121703257c5ab938d2bed92de1aef8b8
--
To view, visit https://gerrit.wikimedia.org/r/59089
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1a09e248ff458480f4ff3e62bb667479be0b66f6
Gerrit-PatchSet: 2
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
