본문 바로가기
미디어위키

Extension SyntaxHighlightThemes

by 다움위키 2023. 12. 29.

SyntaxHighlightThemes 확장을 사용하면 SyntaxHighlight 확장을 사용할 때 다양한 구문 강조 테마 중에서 선택할 수 있습니다.

Usage

일단 설치되면, 사용자는 모양 아래의 기본 설정에서 구문 강조 테마를 변경할 수 있습니다. Pygments에서 제공하는 모든 스타일이 지원됩니다.

Installation

최신 개발 버전을 내려받아서 정해진 위치로 이동시킵니다.

미디어위키 설정 LocalSettings.php 파일에 다음을 추가합니다:

wfLoadExtension( 'SyntaxHighlightThemes' );

필요하다면 구성하십시오.

Special:Version에 접근해서 확장이 정상적으로 설치가 되었는지 확인하십시오.

Configuration

$wgDefaultUserOptions['syntaxhighlight-theme']

사용되는 기본 테마는 Pygments의 default 스타일입니다. 위키의 기본 테마를 변경하려면 이 옵션을 사용하세요 ($wgDefaultUserOptions['syntaxhighlight-theme'] = 'monokai'; for example)

See also