Updated mediawiki/extensions
Project: mediawiki/extensions/WikibaseDatabase  c4cf3c33f452bd75a06ca3ce86480fef66e7da8d

Remove TODOS about non existant global

This global was already removed
this todo is Done!

Change-Id: Ie4defbc8b3d67fb315ee44aab3723c6e42b8af15