/etc/NetworkManager/dispatcher.d/02debian-edu-config is in debian-edu-config 1.818+deb8u2.
This file is owned by root:root, with mode 0o755.
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 | #!/bin/sh
set -e
if [ -z "$1" ]; then
    echo "$0: called with no interface" 1>&2
    exit 1;
fi
# Workaround for misfeature in Network Manager, see
# <URL: https://bugs.launchpad.net/ubuntu/+source/network-manager/+bug/293139 >
# Set the variables used by scripts installed by default in Debian Edu
# Wheezy and a few others.  Fake call to dhclient hook.
run_dhclient_exit_hooks() {
    new_interface="$1"
    case "$2" in
	up|vpn-up)
	    reason=BOUND
	    ;;
	down|vpn-down)
            reason=STOP
	    ;;
	*)
	    return
	    ;;
    esac    
    export reason
    if [ "$DHCP4_IP_ADDRESS" ] ; then new_ip_address="$DHCP4_IP_ADDRESS" ; export new_ip_address ; fi
    if [ "$DHCP4_NTP_SERVERS" ] ; then new_ntp_servers="$DHCP4_NTP_SERVERS" ; export new_ntp_servers ; fi
    if [ "$DHCP4_BROADCAST_ADDRESS" ] ; then new_broadcast_address="$DHCP4_BROADCAST_ADDRESS" ; export new_broadcast_address ; fi
    if [ "$DHCP4_SUBNET_MASK" ] ; then new_subnet_mask="$DHCP4_SUBNET_MASK" ; export new_subnet_mask ; fi
    if [ "$DHCP4_HOST_NAME" ] ; then new_host_name="$DHCP4_HOST_NAME" ; export new_host_name ; fi
    for f in /etc/dhcp/dhclient-exit-hooks.d/*; do
	sh $f
    done
}
run_dhclient_exit_hooks "$1" "$2"
 |