diff options
Diffstat (limited to 'maintenance/remove-brokenlinks.php')
-rw-r--r-- | maintenance/remove-brokenlinks.php | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/maintenance/remove-brokenlinks.php b/maintenance/remove-brokenlinks.php index 89a30033990e..7faecef568dd 100644 --- a/maintenance/remove-brokenlinks.php +++ b/maintenance/remove-brokenlinks.php @@ -1,25 +1,9 @@ <?php # Remove spurious brokenlinks - -if ( ! is_readable( "../LocalSettings.php" ) ) { - print "A copy of your installation's LocalSettings.php\n" . - "must exist in the source directory.\n"; - exit(); -} - -$wgCommandLineMode = true; -$DP = "../includes"; -require_once( "../LocalSettings.php" ); -require_once( "../AdminSettings.php" ); - -$sep = strchr( $include_path = ini_get( "include_path" ), ";" ) ? ";" : ":"; -ini_set( "include_path", "$IP$sep$include_path" ); - -require_once( "Setup.php" ); +require_once( "commandLine.inc" ); require_once( "./rebuildrecentchanges.inc" ); $wgTitle = Title::newFromText( "Rebuild brokenlinks script" ); -set_time_limit(0); $wgDBuser = $wgDBadminuser; $wgDBpassword = $wgDBadminpassword; |