Pass the result of the database queries in Title::getPreviousRevisionID() and Title...
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Wed, 2 May 2012 08:27:21 +0000 (10:27 +0200)
committerAlexandre Emsenhuber <ialex.wiki@gmail.com>
Wed, 2 May 2012 08:52:51 +0000 (10:52 +0200)
commit5e7c4140181f3ad86fd10f16868289fe8485a07b
treec7d29bc68f2826910dedd22b7d00225e3ca4b850
parent576542a314468d88942fd47e61f543358aa627bf
Pass the result of the database queries in Title::getPreviousRevisionID() and Title::getNextRevisionID() into intval().

No idea why mysql_fetch_object() returns string when the field in defined as integer, but it is so on my machine...

Change-Id: I353c6087d20d7a72d6d4b39bdc477b094bc460f6
includes/Title.php