extensions: obsolete and remove interhg extension
With the addition of the websub filter extension this extension is no longer
needed. We maintain a sort of backwards compatibility by reading the [interhg]
section and using it as we would use the [websub] section.
$ "$TESTDIR/hghave" inotify || exit 80
$ hg init
$ echo "[extensions]" > .hg/hgrc
$ echo "inotify=" >> .hg/hgrc
$ hg inserve -d --pid-file .hg/inotify.pid
$ echo a > a
$ hg ci -Aqm0
$ hg co -q null
$ hg co -q
$ hg st
$ cat a
a
$ "$TESTDIR/killdaemons.py" .hg/inotify.pid