diff options
| author | umherirrender <umherirrender_de.wp@web.de> | 2013-03-02 17:50:56 +0100 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2013-03-04 14:08:48 +0000 |
| commit | de7380b56eeed81dd46df2d8cf9de8cfa8871517 (patch) | |
| tree | fa2419cdc041d9d6f4cc87c8c02515c87c179d0f /extensions/ParserFunctions | |
| parent | e3915cee8f9e8d02ab9d67e48269da15636f1b2d (diff) | |
| download | mediawikicore-de7380b56eeed81dd46df2d8cf9de8cfa8871517.tar.gz mediawikicore-de7380b56eeed81dd46df2d8cf9de8cfa8871517.zip | |
Change intval( User::getOption() ) to User::getIntOption()
Also changed some getOption with int or bool cast
Change-Id: Ia551a50e9de047c62be84065481fdf8c02e2ef96
Diffstat (limited to 'extensions/ParserFunctions')
0 files changed, 0 insertions, 0 deletions