Updated mediawiki/extensions
Project: mediawiki/extensions/Parsoid  4ecbbcb702d85fc3f48c064cf8a4421de00d20d1

Minor improvements to new domdiff script.

Make script executable, add --quiet option, use more robust boolean processing.

Change-Id: I3b758923294680904b5703540693a90f3d8dfc9f