Updated mediawiki/extensions
Project: mediawiki/extensions/Scribunto  9f86e1490a568b05c063f72ac8af9ce178a05548

Handle session loss in the console

If the session data gets lost, the console forgets the content and
previous commands. Detect this situation and handle it.

Change-Id: I82fb5e111c09091d4f9a87d2e1b1c245eced1420