mediawiki-extensions-CategoryTree/CategoryTreeHidePrefix.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;

}