|
@@ -63,13 +63,13 @@ |
|
|
block discarded – undo |
|
63
|
63
|
$list = new PageList([trim($options['page'])]); |
|
64
|
64
|
|
|
65
|
65
|
// delete Title from edited.txt |
|
66
|
|
- $file = __DIR__ . '/../resources/article_externRef_edited.txt'; |
|
|
66
|
+ $file = __DIR__.'/../resources/article_externRef_edited.txt'; |
|
67
|
67
|
$text = file_get_contents($file); |
|
68
|
|
- $newText = str_replace(trim($argv[1]) . "\n", '', $text); |
|
|
68
|
+ $newText = str_replace(trim($argv[1])."\n", '', $text); |
|
69
|
69
|
if (!empty($text) && $text !== $newText) { |
|
70
|
70
|
@file_put_contents($file, $newText); |
|
71
|
71
|
} |
|
72
|
|
- $botConfig->setTaskName(' |
Please login to merge, or discard this patch.