Updated mediawiki/extensions
Project: mediawiki/extensions/PubSubHubbub  9385faf2f4f0c69dda842797509dd8710195ef94

Moved code to namespace PubSubHubbub.

Change-Id: Id07b30e2cf62efa4b0d57795a9014d16fc158497