mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 17:14:42 +00:00
b985813c56
Changes to the use statements done automatically via script Addition of missing use statement done manually Change-Id: Ia08d43b3973a12b8e0628c8552bee1c4b702f249
37 lines
776 B
PHP
37 lines
776 B
PHP
<?php
|
|
|
|
// @phpcs:disable MediaWiki.Files.ClassMatchesFilename.NotMatch
|
|
|
|
use MediaWiki\Context\ContextSource;
|
|
use MediaWiki\Title\Title;
|
|
|
|
/**
|
|
* Phan stub for the soft dependency to FlaggedRevs extension
|
|
* There is no hard dependency and VisualEditor is a dependency to many other extensions,
|
|
* so this class is stubbed and not verified against the original class
|
|
*/
|
|
class FlaggablePageView extends ContextSource {
|
|
|
|
/**
|
|
* @param Title|MediaWiki\Page\PageIdentity $title
|
|
* @return self
|
|
*/
|
|
public static function newFromTitle( $title ) {
|
|
}
|
|
|
|
/**
|
|
* @return true
|
|
*/
|
|
public function displayTag() {
|
|
}
|
|
|
|
/**
|
|
* @param bool &$outputDone
|
|
* @param bool &$useParserCache
|
|
* @return bool
|
|
*/
|
|
public function setPageContent( &$outputDone, &$useParserCache ) {
|
|
}
|
|
|
|
}
|