These three repositories:

• https://github.com/wikimedia/mediawiki-php-normal
• https://github.com/wikimedia/mediawiki-extensions-normal
• https://github.com/wikimedia/operations-debs-utfnormal

Seem to revolve around a native PHP extension called "php_utfnormal" that provides a utf8_normalize function.

As far as I can tell this is unmaintained and unused, and presumably obsoleted by the pure-PHP class UtfNormal (recently moved to its own Composer library at https://github.com/wikimedia/utfnormal).

If this is the case, we should consider archiving these repos (set read-only in Gerrit and consider removing the mirrors).