mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-27 09:43:06 +00:00
44998a759a
The following sniffs are failing and were disabled: * MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationPublic * MediaWiki.Usage.ExtendClassUsage.FunctionConfigUsage Additional changes: * Dropped .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). * Added the `wikimedia/jquery` profile in .eslintrc.json (T262222). * Removed global `$`, included in the `wikimedia/jquery` profile (T262222). * Removed global `mw`, included via `wikimedia/mediawiki` profile (T262222). * Dropped the emtpy global definition in .eslintrc.json. Change-Id: Ib5a3697712078a4ed22195c274eae9c82ddd7227 |
||
---|---|---|
.phan | ||
i18n | ||
includes | ||
modules | ||
.eslintrc.json | ||
.gitignore | ||
.gitreview | ||
.phpcs.xml | ||
.stylelintrc.json | ||
CategoryTree.alias.php | ||
CategoryTree.i18n.magic.php | ||
CODE_OF_CONDUCT.md | ||
composer.json | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
package-lock.json | ||
package.json | ||
README |
-------------------------------------------------------------------------- README for the CategoryTree extension Copyright © 2006-2008 Daniel Kinzler and others Licenses: GNU General Public Licence (GPL) GNU Free Documentation License (GFDL) -------------------------------------------------------------------------- The CategoryTree extension provides a dynamic view of the wiki's category structure as a tree. It uses AJAX to load parts of the tree on demand. The CategoryTree extension was originally written by Daniel Kinzler in 2006 and is released under the GNU General Public Licence (GPL). The internationalization files contain contributions by several people; they are mentioned in each file individually. Also thanks to Tim Starling for his contributions. Instructions on installing and using this extension are available at <https://www.mediawiki.org/wiki/Extension:CategoryTree>