Updated mediawiki/extensions
Project: mediawiki/extensions/VectorBeta  7bfbd7554cb4351ea9fe7e7e8577a716d3ced22c

Hygiene: Cleanup VectorBeta.php resources

Change-Id: I7dbad6fcda0c39ef887c45520b68f1ae7f2fcb4a