미디어위키:Gadget-edittools.js

참고: 설정을 저장한 후에 바뀐 점을 확인하기 위해서는 브라우저의 캐시를 새로 고쳐야 합니다. 구글 크롬, 파이어폭스, 마이크로소프트 엣지, 사파리: ⇧ Shift 키를 누른 채 "새로 고침" 버튼을 클릭하십시오. 더 자세한 정보를 보려면 위키백과:캐시 무시하기 항목을 참고하십시오.

/*
 * 편집 도구가 제출 버튼 아래에 위치하는 근본적인 문제만 수정합니다.
*/

jQuery( document ).ready( function ( $ ) {
	if (typeof window.updateEditTools !== "undefined") {
		return;
	}
	var isUpload = mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Upload';
	if ( /^(edit|submit)$/.test( mw.config.get( 'wgAction' ) ) || isUpload ) {
		$("#editpage-specialchars").css({
			"padding" : "0px",
			"text-align": "left",
			"background-color": "#f8f9fa",
			"height": "6em",
			"overflow-y": "scroll"
		});
		
		if ( $( '.editOptions' ).length > 0 ) {
			$("#editpage-specialchars").css({
				"margin-left": '-' + $(".editOptions").css("padding-left"),
				"margin-right": '-' + $(".editOptions").css("padding-right"),
				"margin-top": '-' + $(".editOptions").css("padding-top"),
				"margin-bottom": $(".editOptions").css("padding-top"),
				"border-bottom": "solid 1px #c5c9ce"
			});
		} else {
			$("#editpage-specialchars").css({
				"border": "solid 1px #c5c9ce"
			});
		}
		
		$( '.editOptions' ).prepend( $( '#editpage-specialchars' ) );
	}
} );