This file is indexed.

/usr/share/mediawiki-extensions/openid/patches/patch-add_uoi_user_registration.sql is in mediawiki-extensions-openid 3.6.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
--
-- SQL schema update for OpenID extension to add the uoi_user_registration field
--
ALTER TABLE /*_*/user_openid ADD uoi_user_registration BINARY(14);