This file is indexed.

postrm is in php-wikidiff2 1.5.1-5.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
#!/bin/sh
set -e
# Automatically added by dh_installdeb/11.1.4ubuntu1
dpkg-maintscript-helper rm_conffile /etc/mediawiki-extensions/extensions-enabled/wikidiff2.php 1.4.1-1 -- "$@"
dpkg-maintscript-helper rm_conffile /etc/mediawiki-extensions/extensions-available/wikidiff2.php 1.4.1-1 -- "$@"
# End automatically added section
# Automatically added by dh_php/UNDECLARED
for conf in wikidiff2; do
    dpkg-maintscript-helper rm_conffile /etc/php/mods-available/${conf}.ini -- "$@"
done

if [ "$1" = "remove" ]; then
    if [ -e /usr/lib/php/php-maintscript-helper ] ; then
	. /usr/lib/php/php-maintscript-helper

	for version in 7.2 ; do
	    for conf in wikidiff2 ; do
		php_invoke dismod $version ALL $conf || exit 1
	    done
	done
    fi
fi

if [ "$1" = "purge" ] ; then
    for version in 7.2 ; do
	inidir="/etc/php/$version/mods-available"
	for conf in wikidiff2; do
	    inifile=${conf}.ini
	    # Final cleanup of possible leftover symlinks
	    find /etc/php/ -type l | \
		while read symlink; do
		    if [ "$(readlink $symlink)" = "${inidir}/$inifile" ]; then
			rm -f "${symlink}"
		    fi
		done
	done
    done
fi
# End automatically added section