diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
| commit | ca32f08966f1b51fcb19460f0996bb0c4048e6fe (patch) | |
| tree | ec04cc15b867bc21eedca904cea9af0254531a11 /includes/filerepo/NullRepo.php | |
| parent | a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c (diff) | |
Update to MediaWiki 1.18.0
* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing
Diffstat (limited to 'includes/filerepo/NullRepo.php')
| -rw-r--r-- | includes/filerepo/NullRepo.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/filerepo/NullRepo.php b/includes/filerepo/NullRepo.php index d5a1ee03..cac3e5d8 100644 --- a/includes/filerepo/NullRepo.php +++ b/includes/filerepo/NullRepo.php @@ -23,6 +23,9 @@ class NullRepo extends FileRepo { function append( $srcPath, $toAppendPath, $flags = 0 ){ return false; } + function appendFinish( $toAppendPath ){ + return false; + } function publishBatch( $triplets, $flags = 0 ) { return false; } |