Fix for wgArticleId being exported to JavaScript as a string instead of integer. :P
authorBrion Vibber <brion@users.mediawiki.org>
Fri, 21 Aug 2009 18:11:13 +0000 (18:11 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Fri, 21 Aug 2009 18:11:13 +0000 (18:11 +0000)
commit7269b2e2b325577ad1fa6fbd857495ba2ffd5f5f
tree437565d329736fca1ab3604f5a699fdcb24e192f
parente05338c102e4e41c37dafc03e7c050fceaab2ce4
Fix for wgArticleId being exported to JavaScript as a string instead of integer. :P
Throw around some intval()s on page id, length data coming out of database into Title and Article objects and the link cache... blast PHP's soft typing!
includes/Article.php
includes/LinkCache.php
includes/Title.php