2016-12-17 09:12:32 +00:00
|
|
|
<?php
|
|
|
|
|
/**
|
2022-04-07 01:20:40 +00:00
|
|
|
* FileRepo for temporary files created by FileRepo::getTempRepo()
|
|
|
|
|
*
|
|
|
|
|
* @internal
|
|
|
|
|
* @ingroup FileRepo
|
2016-12-17 09:12:32 +00:00
|
|
|
*/
|
|
|
|
|
class TempFileRepo extends FileRepo {
|
|
|
|
|
public function getTempRepo() {
|
2021-09-04 01:42:33 +00:00
|
|
|
// @phan-suppress-previous-line PhanPluginNeverReturnMethod
|
2016-12-17 09:12:32 +00:00
|
|
|
throw new MWException( "Cannot get a temp repo from a temp repo." );
|
|
|
|
|
}
|
|
|
|
|
}
|
