Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  8b97bd5236ee06394665fa8f9b718b663f2af481

FOR_PUBLIC

chris steipp requested that:

* includes/Adapters/Php/MappingPhpAdapter.php needs to check of the user has access,
  or get FOR_PUBLIC

Change-Id: I46c12e75a0974532629dab08e676ff8b7398110c