mediawiki-extensions-CategoryTree/includes/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 GPL-2.0-or-later
 */
class CategoryTreeHidePrefix {

	const NEVER = 0;

	const ALWAYS = 10;

	const CATEGORIES = 20;

	const AUTO = 30;

}