#----------------------------------------------------------------------------
# php7-intl-files.txt - list of all files of package 'php7-intl'
#
# Creation   : 2018-12-02  schlotze
# Last update: $Id$
#----------------------------------------------------------------------------
b 0644 root root php7-intl usr/lib/php7/extensions/intl.so
u 0644 root root php7-intl var/install/packages/php7-intl
#
f 0755 root root php7-intl usr/lib/php7/extensions
f 0755 root root php7-intl usr/lib/php7