Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTags  40dc7b72b49d4f68cdbf6f30fd9ccca7666b987c

use hook ParserClearState (v 3.1.0)

* modify $wgPhpTagsNamespaces
* add exception FATAL_DENIED_FOR_NAMESPACE
* add function Runtime::reset()
* add function \PhpTags::initialize()
* remove runction \PhpTags::isBanned()

Change-Id: I879023677e3da72d14c80282ed34914264ee1d37