MediaWiki 1.30.2-scripts

[autoinstallsdev/mediawiki.git] / extensions / Cite / includes / php.ini

diff --git a/maintenance/postgres/archives/php.ini b/extensions/Cite/includes/php.ini
similarity index 100%
rename from maintenance/postgres/archives/php.ini
rename to extensions/Cite/includes/php.ini