Extensions 폴더

미디어위키 extensions 폴더

미디어위키 확장기능 폴더

• 미디어위키 폴더 아래의 extensions 폴더
• 미디어위키에 확장기능(extension)을 추가하는 폴더
• 확장기능별로 폴더를 따로 둔다.
• Special:Version에 표시되는 것과 유사하다. 단 LocalSettings.php에서 활성화 설정을 해주지 않으면 Special:Version에 표시되지 않는다.

예시

[root@jmnote extensions]# ll
total 64
drwxr-xr-x 3 root root 4096 Aug 16 16:28 AddThis
drwxr-xr-x 2 root root 4096 Jan  7  2012 CharInsert
drwxr-xr-x 2 2010 2013 4096 Nov 15  2011 Cite
drwxr-xr-x 2 root root 4096 Jan  1  2012 ConfirmEdit
drwxr-xr-x 2 root root 4096 Jan  1  2012 Gadgets
drwxr-xr-x 2 2010 2013 4096 Nov 15  2011 googleAnalytics
drwxr-xr-x 2 root root 4096 Feb  5  2012 MagnetLinks
drwxr-xr-x 2 root root 4096 Jan  1  2012 Nuke
drwxr-xr-x 2 root root 4096 Jan  1  2012 ParserFunctions
drwxr-xr-x 3 root root 4096 Jan  1  2012 SyntaxHighlight_GeSHi
drwxr-xr-x 3 root root 4096 Jan  1  2012 Vector
drwxr-xr-x 7 root root 4096 Aug 16 11:44 Widgets
drwxr-xr-x 4 root root 4096 Jan  1  2012 WikiEditor