committing changes in /etc after apt run

Package changes:
+php7.2-xml 7.2.10-0ubuntu0.18.04.1 amd64

diff --git a/.etckeeper b/.etckeeper
index b4d54a875dcce856f1e6113d173a3bee56db06eb..216831c9ae5bb4a515a48cdba80b2e67cc26742d 100755 (executable)
--- a/.etckeeper
+++ b/.etckeeper
@@ -2163,6 +2163,7 @@ maybe chmod 0644 'php/7.2/cli/php.ini'
 maybe chmod 0755 'php/7.2/mods-available'
 maybe chmod 0644 'php/7.2/mods-available/calendar.ini'
 maybe chmod 0644 'php/7.2/mods-available/ctype.ini'
+maybe chmod 0644 'php/7.2/mods-available/dom.ini'
 maybe chmod 0644 'php/7.2/mods-available/exif.ini'
 maybe chmod 0644 'php/7.2/mods-available/fileinfo.ini'
 maybe chmod 0644 'php/7.2/mods-available/ftp.ini'
@@ -2175,11 +2176,17 @@ maybe chmod 0644 'php/7.2/mods-available/phar.ini'
 maybe chmod 0644 'php/7.2/mods-available/posix.ini'
 maybe chmod 0644 'php/7.2/mods-available/readline.ini'
 maybe chmod 0644 'php/7.2/mods-available/shmop.ini'
+maybe chmod 0644 'php/7.2/mods-available/simplexml.ini'
 maybe chmod 0644 'php/7.2/mods-available/sockets.ini'
 maybe chmod 0644 'php/7.2/mods-available/sysvmsg.ini'
 maybe chmod 0644 'php/7.2/mods-available/sysvsem.ini'
 maybe chmod 0644 'php/7.2/mods-available/sysvshm.ini'
 maybe chmod 0644 'php/7.2/mods-available/tokenizer.ini'
+maybe chmod 0644 'php/7.2/mods-available/wddx.ini'
+maybe chmod 0644 'php/7.2/mods-available/xml.ini'
+maybe chmod 0644 'php/7.2/mods-available/xmlreader.ini'
+maybe chmod 0644 'php/7.2/mods-available/xmlwriter.ini'
+maybe chmod 0644 'php/7.2/mods-available/xsl.ini'
 maybe chmod 0755 'pki'
 maybe chmod 0755 'pki/fwupd'
 maybe chmod 0755 'pki/fwupd-metadata'

diff --git a/php/7.2/cli/conf.d/15-xml.ini b/php/7.2/cli/conf.d/15-xml.ini
new file mode 120000 (symlink)
index 0000000..485bacc
--- /dev/null
+++ b/php/7.2/cli/conf.d/15-xml.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/xml.ini
\ No newline at end of file

diff --git a/php/7.2/cli/conf.d/20-dom.ini b/php/7.2/cli/conf.d/20-dom.ini
new file mode 120000 (symlink)
index 0000000..f14cb2e
--- /dev/null
+++ b/php/7.2/cli/conf.d/20-dom.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/dom.ini
\ No newline at end of file

diff --git a/php/7.2/cli/conf.d/20-simplexml.ini b/php/7.2/cli/conf.d/20-simplexml.ini
new file mode 120000 (symlink)
index 0000000..217c0e2
--- /dev/null
+++ b/php/7.2/cli/conf.d/20-simplexml.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/simplexml.ini
\ No newline at end of file

diff --git a/php/7.2/cli/conf.d/20-wddx.ini b/php/7.2/cli/conf.d/20-wddx.ini
new file mode 120000 (symlink)
index 0000000..c4a700c
--- /dev/null
+++ b/php/7.2/cli/conf.d/20-wddx.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/wddx.ini
\ No newline at end of file

diff --git a/php/7.2/cli/conf.d/20-xmlreader.ini b/php/7.2/cli/conf.d/20-xmlreader.ini
new file mode 120000 (symlink)
index 0000000..3a6a1b6
--- /dev/null
+++ b/php/7.2/cli/conf.d/20-xmlreader.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/xmlreader.ini
\ No newline at end of file

diff --git a/php/7.2/cli/conf.d/20-xmlwriter.ini b/php/7.2/cli/conf.d/20-xmlwriter.ini
new file mode 120000 (symlink)
index 0000000..63e47a1
--- /dev/null
+++ b/php/7.2/cli/conf.d/20-xmlwriter.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/xmlwriter.ini
\ No newline at end of file

diff --git a/php/7.2/cli/conf.d/20-xsl.ini b/php/7.2/cli/conf.d/20-xsl.ini
new file mode 120000 (symlink)
index 0000000..2c3b2e9
--- /dev/null
+++ b/php/7.2/cli/conf.d/20-xsl.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/xsl.ini
\ No newline at end of file

diff --git a/php/7.2/mods-available/dom.ini b/php/7.2/mods-available/dom.ini
new file mode 100644 (file)
index 0000000..129d656
--- /dev/null
+++ b/php/7.2/mods-available/dom.ini
@@ -0,0 +1,3 @@
+; configuration for php xml module
+; priority=20
+extension=dom.so

diff --git a/php/7.2/mods-available/simplexml.ini b/php/7.2/mods-available/simplexml.ini
new file mode 100644 (file)
index 0000000..f49df10
--- /dev/null
+++ b/php/7.2/mods-available/simplexml.ini
@@ -0,0 +1,3 @@
+; configuration for php xml module
+; priority=20
+extension=simplexml.so

diff --git a/php/7.2/mods-available/wddx.ini b/php/7.2/mods-available/wddx.ini
new file mode 100644 (file)
index 0000000..c2c3928
--- /dev/null
+++ b/php/7.2/mods-available/wddx.ini
@@ -0,0 +1,3 @@
+; configuration for php xml module
+; priority=20
+extension=wddx.so

diff --git a/php/7.2/mods-available/xml.ini b/php/7.2/mods-available/xml.ini
new file mode 100644 (file)
index 0000000..35c5a40
--- /dev/null
+++ b/php/7.2/mods-available/xml.ini
@@ -0,0 +1,3 @@
+; configuration for php xml module
+; priority=15
+extension=xml.so

diff --git a/php/7.2/mods-available/xmlreader.ini b/php/7.2/mods-available/xmlreader.ini
new file mode 100644 (file)
index 0000000..af5edbc
--- /dev/null
+++ b/php/7.2/mods-available/xmlreader.ini
@@ -0,0 +1,3 @@
+; configuration for php xml module
+; priority=20
+extension=xmlreader.so

diff --git a/php/7.2/mods-available/xmlwriter.ini b/php/7.2/mods-available/xmlwriter.ini
new file mode 100644 (file)
index 0000000..ccc2713
--- /dev/null
+++ b/php/7.2/mods-available/xmlwriter.ini
@@ -0,0 +1,3 @@
+; configuration for php xml module
+; priority=20
+extension=xmlwriter.so

diff --git a/php/7.2/mods-available/xsl.ini b/php/7.2/mods-available/xsl.ini
new file mode 100644 (file)
index 0000000..d053b8f
--- /dev/null
+++ b/php/7.2/mods-available/xsl.ini
@@ -0,0 +1,3 @@
+; configuration for php xml module
+; priority=20
+extension=xsl.so