mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-15 20:09:58 +00:00
8989d4428b
Change-Id: I592138cb4643ef5031cbe341bbbe5d9e78562d4c
24 lines
403 B
PHP
24 lines
403 B
PHP
<?php
|
|
|
|
/**
|
|
* Constants for use with the hideprefix option,
|
|
* defining when the namespace prefix should be hidden.
|
|
*
|
|
* @file
|
|
* @ingroup Extensions
|
|
* @author Daniel Kinzler, brightbyte.de
|
|
* @copyright © 2006 Daniel Kinzler
|
|
* @license GNU General Public Licence 2.0 or later
|
|
*/
|
|
class CategoryTreeHidePrefix {
|
|
|
|
const NEVER = 0;
|
|
|
|
const ALWAYS = 10;
|
|
|
|
const CATEGORIES = 20;
|
|
|
|
const AUTO = 30;
|
|
|
|
}
|