diff options
Diffstat (limited to 'extensions/README')
| -rw-r--r-- | extensions/README | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/extensions/README b/extensions/README deleted file mode 100644 index 5c9bf539338d..000000000000 --- a/extensions/README +++ /dev/null @@ -1,30 +0,0 @@ -== User Information == - -Extensions are distributed separately. Drop them into this directory and enable -as per the extension's installation instructions. - -You can find a list of extensions and documentation at -<https://www.mediawiki.org/wiki/Special:MyLanguage/Category:Extensions>. - -== Development Information == - -If you are a developer, you might want to fetch the extension tree in another -directory and make a symbolic link: - - mediawiki/extensions$ ln -s ../../extensions-trunk/FooBar - -Most extensions are available through Git: - https://phabricator.wikimedia.org/diffusion/MEXT/ - - -Please note that under POSIX systems (Linux...), parent of a symbolic path -refers to the link source, NOT to the target! You should check the env -variable MW_INSTALL_PATH in case the extension is not in the default location. - -The following code snippet lets you override the default path: - - $IP = getenv( 'MW_INSTALL_PATH' ); - if( $IP === false ) { - $IP = __DIR__ . '/../..'; - } - require_once "$IP/maintenance/Maintenance.php"; // a MediaWiki core file |