mediawiki-extensions-Gadgets/includes/CodeEditorHooks.php

<?php

namespace MediaWiki\Extension\Gadgets;

use MediaWiki\Extension\CodeEditor\Hooks\CodeEditorGetPageLanguageHook;
use MediaWiki\Title\Title;

/**
 * Hooks from CodeEditor extension,
 * which is optional to use with this 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;
	}

}