diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2020-09-23 11:52:01 +0100 |
|---|---|---|
| committer | Ammarpad <ammarpad@yahoo.com> | 2020-09-28 15:03:05 +0000 |
| commit | 7282ea26a4dbfd7e60dfe227e351221d0052cb4e (patch) | |
| tree | 0383177b912af2d3db570cf7f39c3599ec08820c /maintenance/mcc.php | |
| parent | e519fd3f331e9c43a8eaceaa544355dec5cab3b8 (diff) | |
| download | mediawikicore-7282ea26a4dbfd7e60dfe227e351221d0052cb4e.tar.gz mediawikicore-7282ea26a4dbfd7e60dfe227e351221d0052cb4e.zip | |
maintenance: Move commandLine from .inc to .php
… and fix the name to match the class.
Bug: T184782
Change-Id: Id3d0d0a6b3f2da6316d18eb57804c5a2b697108b
Diffstat (limited to 'maintenance/mcc.php')
| -rw-r--r-- | maintenance/mcc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/mcc.php b/maintenance/mcc.php index acd83342e4eb..a77f33a2099f 100644 --- a/maintenance/mcc.php +++ b/maintenance/mcc.php @@ -26,7 +26,7 @@ $optionsWithArgs = [ 'cache' ]; $optionsWithoutArgs = [ 'debug', 'help' ]; -require_once __DIR__ . '/commandLine.inc'; +require_once __DIR__ . '/CommandLineInc.php'; $debug = isset( $options['debug'] ); $help = isset( $options['help'] ); |