The "extension" was never used anywhere, so deleting it would be fine with me unless the reference to Category:Deleted extensions with security vulnerabilities is needed.
The "extension" was never used anywhere, so deleting it would be fine with me unless the reference to Category:Deleted extensions with security vulnerabilities is needed.