Change intval( User::getOption() ) to User::getIntOption()
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 2 Mar 2013 16:50:56 +0000 (17:50 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Mar 2013 14:08:48 +0000 (14:08 +0000)
commitde7380b56eeed81dd46df2d8cf9de8cfa8871517
treefa2419cdc041d9d6f4cc87c8c02515c87c179d0f
parente3915cee8f9e8d02ab9d67e48269da15636f1b2d
Change intval( User::getOption() ) to User::getIntOption()

Also changed some getOption with int or bool cast

Change-Id: Ia551a50e9de047c62be84065481fdf8c02e2ef96
includes/ImagePage.php
includes/Pager.php
includes/User.php
includes/WebRequest.php
includes/api/ApiBase.php
includes/specials/SpecialNewpages.php
includes/specials/SpecialRecentchanges.php
includes/specials/SpecialUndelete.php
includes/specials/SpecialUpload.php
includes/specials/SpecialUserlogin.php
includes/specials/SpecialWatchlist.php