Krinkle has uploaded a new change for review.
https://gerrit.wikimedia.org/r/59088
Change subject: lint.php: Fix broken calls inside mwCodeUtils_lintDir
......................................................................
lint.php: Fix broken calls inside mwCodeUtils_lintDir
Change-Id: I29bb66da79bcad6039df51b587380ff649e547ff
---
M lint.php
1 file changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/code-utils
refs/changes/88/59088/1
diff --git a/lint.php b/lint.php
index b2e6437..51444d0 100755
--- a/lint.php
+++ b/lint.php
@@ -67,9 +67,9 @@
continue;
}
if ( is_dir( "$dir/$fileName" ) ) {
- $ret = check_dir( "$dir/$fileName", $verbose );
+ $ret = mwCodeUtils_lintDir( "$dir/$fileName", $verbose
);
} elseif ( substr( $fileName, -4 ) == '.php' ) {
- $ret = check_file( "$dir/$fileName", $verbose );
+ $ret = mwCodeUtils_lintFile( "$dir/$fileName", $verbose
);
} else {
$ret = true;
}
--
To view, visit https://gerrit.wikimedia.org/r/59088
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I29bb66da79bcad6039df51b587380ff649e547ff
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/code-utils
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
