diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2009-06-10 13:00:47 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2009-06-10 13:00:47 +0200 |
| commit | 72e90545454c0e014318fa3c81658e035aac58c1 (patch) | |
| tree | 9212e3f46868989c4d57ae9a5c8a1a80e4dc0702 /maintenance/dumpInterwiki.php | |
| parent | 565a0ccc371ec1a2a0e9b39487cbac18e6f60e25 (diff) | |
applying patch to version 1.15.0
Diffstat (limited to 'maintenance/dumpInterwiki.php')
| -rw-r--r-- | maintenance/dumpInterwiki.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/dumpInterwiki.php b/maintenance/dumpInterwiki.php index 91cdbe8a..f5f22f3c 100644 --- a/maintenance/dumpInterwiki.php +++ b/maintenance/dumpInterwiki.php @@ -12,8 +12,8 @@ $oldCwd = getcwd(); $optionsWithArgs = array( "o" ); -include_once( "commandLine.inc" ); -include_once( "dumpInterwiki.inc" ); +require( "commandLine.inc" ); +require( "dumpInterwiki.inc" ); chdir( $oldCwd ); # Output |