diff options
author | Chad Horohoe <chadh@wikimedia.org> | 2017-09-05 17:12:08 +0000 |
---|---|---|
committer | Chad Horohoe <chadh@wikimedia.org> | 2017-09-05 17:12:08 +0000 |
commit | 579f1bb11996f5e83d02828ab460335ebb7c1272 (patch) | |
tree | 6a164397b2f6e77ecc052b53c21a3717cf63e5ec /extensions/README | |
parent | 982f7637ceb0f81c3897e72f7e8f916ba676a5ce (diff) | |
download | mediawikicore-579f1bb11996f5e83d02828ab460335ebb7c1272.tar.gz mediawikicore-579f1bb11996f5e83d02828ab460335ebb7c1272.zip |
Creating new WMF 1.30.0-wmf.17 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 |