Updated mediawiki/extensions
Project: mediawiki/extensions/SlimboxThumbs  b5a0b3810c07db9e4ffde42bd0f719246f457264

Use File::isLocal instead of Repo::isLocal

This is shorter and compatible with 1.13 back again :-)

Change-Id: I7d12c2e63d2f65682da90208ecfdc48d5b2227f4