Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTags  f940285f0c6ca50c80199b58d3b771b4c5120564

refactor the PhpTagsException class (v 2.5.0, Hook release 4)

Change-Id: Iaba8d86e8a0ada3167d2a646b185fb072f8af40b