diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
| commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
| tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /includes/filerepo/NullRepo.php | |
| parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) | |
Update to MediaWiki 1.24.1
Diffstat (limited to 'includes/filerepo/NullRepo.php')
| -rw-r--r-- | includes/filerepo/NullRepo.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/includes/filerepo/NullRepo.php b/includes/filerepo/NullRepo.php index dda51cea..f2b7395c 100644 --- a/includes/filerepo/NullRepo.php +++ b/includes/filerepo/NullRepo.php @@ -26,11 +26,11 @@ * @ingroup FileRepo */ class NullRepo extends FileRepo { - /** - * @param $info array|null + * @param array|null $info */ - function __construct( $info ) {} + function __construct( $info ) { + } protected function assertWritableRepo() { throw new MWException( get_class( $this ) . ': write operations are not supported.' ); |