Updated mediawiki/extensions
Project: mediawiki/extensions/Parsoid  f4de831d2ca3a1f92b67c5b94126067ca351c08a

Add information about new Parsoid repo to help confused developers.

Change-Id: Ie30a51d0c186f913b2ac65b98618ecc27712fcf6