Updated mediawiki/extensions
Project: mediawiki/extensions/Scribunto  c98cc64545acbac23cd6f574507cd7783b2cf730

Allow extensions to add libraries

Wikidata has already requested the ability to add libraries into Lua. We
do this in a simple way: add a $wgScribuntoExtraLibraries global, and
load whatever modules someone puts there.

Change-Id: I460b4e7b968eb02dd86620f1e4b50daf1be9e901