diff options
| author | Tyler Cipriani <tcipriani@wikimedia.org> | 2017-05-23 17:26:26 +0000 |
|---|---|---|
| committer | Tyler Cipriani <tcipriani@wikimedia.org> | 2017-05-23 17:26:26 +0000 |
| commit | 264fc98588a4851324d3e5f2e39ece01e993127e (patch) | |
| tree | 603dd705e27ad36d03e42301aa70760edfd85226 /extensions/README | |
| parent | 82c5dd51e65c2b07e6e2faea544831d84955b4d2 (diff) | |
| download | mediawikicore-264fc98588a4851324d3e5f2e39ece01e993127e.tar.gz mediawikicore-264fc98588a4851324d3e5f2e39ece01e993127e.zip | |
Creating new WMF 1.30.0-wmf.2 branch
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 |