Updated mediawiki/extensions
Project: mediawiki/extensions/Scribunto  3f9377cd70e54db74860857ec38c54249545b10e

Use jquery.spinner when console is pending

This makes it more obvious to the user that something is going on.

Bug: 56472
Change-Id: I80938e0e48bd01eece4a99b8bda632a4b1375333