Vector.php for version 1.20 of MW