Krinkle has uploaded a new change for review.
https://gerrit.wikimedia.org/r/59028
Change subject: Rename Args class to MwCodeUtilsArgs
......................................................................
Rename Args class to MwCodeUtilsArgs
To avoid conflicts in lint.php, since parsekit includes parent
environment when parsing.
Change-Id: I71c248745c645ed36ce1d261ba5a90310776e58c
---
R includes/MwCodeUtilsArgs.php
M stylize.php
2 files changed, 3 insertions(+), 3 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/code-utils
refs/changes/28/59028/1
diff --git a/includes/Args.php b/includes/MwCodeUtilsArgs.php
similarity index 98%
rename from includes/Args.php
rename to includes/MwCodeUtilsArgs.php
index d47d630..fd2f7f2 100644
--- a/includes/Args.php
+++ b/includes/MwCodeUtilsArgs.php
@@ -24,7 +24,7 @@
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
* THE SOFTWARE
*/
-class Args {
+class MwCodeUtilsArgs {
public $flags;
public $args;
diff --git a/stylize.php b/stylize.php
index acaf40a..15786ea 100755
--- a/stylize.php
+++ b/stylize.php
@@ -10,7 +10,7 @@
* @file
*/
-require_once( __DIR__ . '/includes/Args.php' );
+require_once( __DIR__ . '/includes/MwCodeUtilsArgs.php' );
if ( php_sapi_name() != 'cli' ) {
echo "This script must be run from the command line\n";
@@ -20,7 +20,7 @@
array_shift( $argv );
if ( count( $argv ) ) {
- $args = new Args( $argv );
+ $args = new MwCodeUtilsArgs( $argv );
if ( $args->flag( 'help' ) ) {
echo "Usage: php stylize.php
[--backup|--help|--ignore=<regextoexclude>] <files/directories>
--
To view, visit https://gerrit.wikimedia.org/r/59028
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I71c248745c645ed36ce1d261ba5a90310776e58c
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
