|fichier de MediaWiki : ParserOptions.php|
|Code source :||master • 1.32.0 • 1.31.1|
This file sets the options of the Parser. It contains a number of variables and functions to get and set those variables. All variables are supposed to be private in theory, although in practise this is not the case. The ParserOptions are initialized using a User object.