Bring back our WebArrayBuffer.h patch

I mistakenly removed it in bd14c33e67e45b792995d1135e255c56d27792c7. But
the file was just moved, not deleted entirely.