Extension:DirectoryManager

From MediaWiki.org

Jump to: navigation, search
Manual on MediaWiki Extensions
List of MediaWiki Extensions
DirectoryManager

Release status: beta

Implementation Hook
Description
Author(s) Jean-Lou Dupont
Version See SVN ($Id: DirectoryManager.php 655 2007-08-13 14:19:30Z jeanlou.dupont $)
MediaWiki tested on 1.10 but will probably work with earlier versions
Download SVN

Contents

[edit] Purpose

Provides a namespace 'Directory' for browsing the filesystem of a MediaWiki installation.

[edit] Features

  • Directory tree structure roots on MediaWiki installation
  • Security: enforcement of the 'read' right
  • Integrates with Extension:FileManager
  • Highly customizable through 'hooks'

[edit] Dependancy

[edit] Notes

It is recommended to use:

$wgCapitalLinks = false;

in LocalSettings.php; default MediaWiki behavior is to capitalize title names - which does not help with filesystem behavior on certain operating systems.

[edit] NS_DIRECTORY namespace

Furthermore, the namespace NS_DIRECTORY must also be defined in LocalSettings.php. See Manual:Using_custom_namespaces for details. In short you could do:

 $wgExtraNamespaces[100] = "Directory";
 define("NS_DIRECTORY", 100);
 $wgNamespaceProtection[NS_DIRECTORY] = array( 'read' );
 $wgContentNamespaces[] = 100;

[edit] Usage

To use the extension, visit, for example, the top level directory of the NS_DIRECTORY namespace. Assuming 'Directory' as a canonical name for the 'NS_DIRECTORY' identifier:

Directory:/

[edit] Installation

To install independantly from BizzWiki:

  • Download & Install Extension:StubManager extension
  • Dowload all this extension's files and place them in the desired directory, e.g. \extensions\DirectoryManager\
  • Apply the following changes to 'LocalSettings.php' after the statements of Extension:StubManager:
require('extensions/DirectoryManager/DirectoryManager.php');

[edit] History

  • Fix for empty $files list
  • Fix for capital letter annoyance
  • Added '#directory' magic word
  • Added 'green' anchors for directories

[edit] See Also

This extension is part of the BizzWiki Platform.

Personal tools