MediaWiki master
TitleDef.php File Reference

Go to the source code of this file.

Classes

class  MediaWiki\ParamValidator\TypeDef\TitleDef
 Type definition for page titles. More...
 

Namespaces

namespace  MediaWiki\ParamValidator\TypeDef