MediaWiki master
FloatDef.php File Reference

Go to the source code of this file.

Classes

class  Wikimedia\ParamValidator\TypeDef\FloatDef
 Type definition for a floating-point type. More...
 

Namespaces

namespace  Wikimedia\ParamValidator\TypeDef