Updated mediawiki/extensions
Project: mediawiki/extensions/PageTriage  0b92b0508a546bc8ed527aa1b6b6b9d49f1b5bff

Replacing intval() with casting

as per http://hakre.wordpress.com/2010/05/13/php-casting-vs-intval/
casting is much much faster.

Change-Id: I6b3ef8d6715fd78ac9119cb8448489ba535ea5da