Chad has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/332648 )
Change subject: Remove ori's `mw` script
......................................................................
Remove ori's `mw` script
It contains a custom entry to MediaWiki that duplicates
the logic in `mwrepl`, available to all users
Change-Id: Ic78b34706ce1830154db4ac8fe5c6e5c2302e38a
---
D modules/admin/files/home/ori/.binned/mw
1 file changed, 0 insertions(+), 34 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/48/332648/1
diff --git a/modules/admin/files/home/ori/.binned/mw
b/modules/admin/files/home/ori/.binned/mw
deleted file mode 100755
index 1a5e464..0000000
--- a/modules/admin/files/home/ori/.binned/mw
+++ /dev/null
@@ -1,34 +0,0 @@
-#!/usr/bin/env php
-<?php
-/**
- * mw -- execute a script or run a shell in MediaWiki context.
- *
- * Usage: mw [SCRIPT] [WIKI]
- * SCRIPT Path of script to be executed. Defaults to eval.php.
- * WIKI DB name of wiki to execute in. Defaults to enwiki.
- *
- */
-$__cwd = getcwd();
-@list( $__script, $__wiki ) = array_slice( $argv, 1 );
-
-// Allow the arguments to be swapped.
-if ( strpos( $__script, '.php' ) === false ) {
- list( $__wiki, $__script ) = array( $__script, $__wiki );
-}
-
-@require_once '/srv/mediawiki/multiversion/MWVersion.php';
-@require_once getMediaWiki( 'maintenance/commandLine.inc', $__wiki ?: 'enwiki'
);
-
-if ( !is_string( $__script ) ) {
- // The command-line invocation did not specify a script. Load the REPL.
- $__script = $IP . '/maintenance/eval.php';
-} else if ( strpos( $__script, '/' ) !== 0 ) {
- // The script path is relative to the working directory.
- // We need to make it absolute, because loading MediaWiki changed the
cwd.
- $__script = $__cwd . '/' . $__script;
-}
-unset( $__wiki );
-unset( $__cwd );
-
-require_once $__script;
-unset( $__script );
--
To view, visit https://gerrit.wikimedia.org/r/332648
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic78b34706ce1830154db4ac8fe5c6e5c2302e38a
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <ch...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
