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
34 lines
630 B
PHP
34 lines
630 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\VisualEditor;
|
|
|
|
use MediaWiki\Output\OutputPage;
|
|
use Skin;
|
|
|
|
/**
|
|
* VisualEditorBeforeEditorHook
|
|
*
|
|
* @file
|
|
* @ingroup Extensions
|
|
* @copyright 2011-2021 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license MIT
|
|
*/
|
|
|
|
interface VisualEditorBeforeEditorHook {
|
|
|
|
/**
|
|
* This hook is executed in before deciding if the editor is available on a certain page
|
|
*
|
|
* If the hook returns false, the editor is not available.
|
|
*
|
|
* @param OutputPage $output
|
|
* @param Skin $skin
|
|
* @return bool
|
|
*/
|
|
public function onVisualEditorBeforeEditor(
|
|
OutputPage $output,
|
|
Skin $skin
|
|
): bool;
|
|
|
|
}
|