이 문서는 존재하지 않습니다. 이 문서의 삭제 및 이동, 보호 기록은 다음과 같습니다.

• 2025년 10월 29일 (수) 10:11 Admin 토론 기여님이 미디어위키:Gadgets-definition 문서를 삭제했습니다 (내용: "* Edittools[ResourceLoader|default]|Edittools.js". 유일한 편집자는 "Admin" (토론))