Searched refs:DEPRECATED_COUNT_TYPES (Results 1 – 3 of 3) sorted by relevance
38 private const DEPRECATED_COUNT_TYPES = [ define in MediaWiki\\Rest\\Handler\\PageHistoryCountHandler100 return self::DEPRECATED_COUNT_TYPES[$type] ?? $type;169 if ( isset( self::DEPRECATED_COUNT_TYPES[$type] ) ) {678 array_keys( self::DEPRECATED_COUNT_TYPES )
37 private const DEPRECATED_COUNT_TYPES = [ define in MediaWiki\\Rest\\Handler\\PageHistoryCountHandler91 return self::DEPRECATED_COUNT_TYPES[$type] ?? $type;160 if ( isset( self::DEPRECATED_COUNT_TYPES[$type] ) ) {669 array_keys( self::DEPRECATED_COUNT_TYPES )
39 private const DEPRECATED_COUNT_TYPES = [ define in MediaWiki\\Rest\\Handler\\PageHistoryCountHandler105 return self::DEPRECATED_COUNT_TYPES[$type] ?? $type;174 if ( isset( self::DEPRECATED_COUNT_TYPES[$type] ) ) {681 array_keys( self::DEPRECATED_COUNT_TYPES )