Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/extensions/Gadgets/includes/CodeEditorHooks.php
Ðазад
<?php namespace MediaWiki\Extension\Gadgets; use MediaWiki\Extension\CodeEditor\Hooks\CodeEditorGetPageLanguageHook; use MediaWiki\Title\Title; /** * Hooks for optional integration with the CodeEditor extension. */ class CodeEditorHooks implements CodeEditorGetPageLanguageHook { /** * Set the CodeEditor language for GadgetDefinition pages. * * The CodeEditor extension sets the default syntax highlight language based * on the content model (not page title), so while gadget definitions have ".json" * page titles, the fact that we use a more specific subclass as content model, * means we must explicitly opt-in to JSON syntax highlighting. * * @param Title $title * @param string|null &$lang * @param string $model * @param string $format * @return bool */ public function onCodeEditorGetPageLanguage( Title $title, ?string &$lang, string $model, string $format ) { if ( $title->hasContentModel( 'GadgetDefinition' ) ) { $lang = 'json'; return false; } return true; } }
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка