Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  ee141c9a3e915bbf989644a5ba9177c12e4c0dfd

Fix infinite spinner in JS version of show changes

Empty content causes the hiding of the spinner to be skipped.

Bug: 38502
Change-Id: Iefb224877976d463a5bb7b92a8e09fe958cd16c2