We should update to the latest Mediawiki version, which is (as of today) 1.19.0 (see download page).