This file is indexed.

/usr/sbin/mwenext is in mediawiki-extensions-base 3.5~deb7u2.

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
#!/bin/sh

# Enable a mediawiki extension
extension=$1
name=`echo $0 | perl -e 'while (<>) { s/(?:.*\/)?(.*)$/print "$1\n";/e }'`

if [ $name = "mwdisext" ]; then 
  if [ ! -f "/etc/mediawiki-extensions/extensions-enabled/$extension" ]; then
    echo "Extension not enabled !"
    exit 1
  fi
  rm "/etc/mediawiki-extensions/extensions-enabled/$extension"
  echo "Extension $extension disabled !"
fi


if [ $name = "mwenext" ]; then
  if [ ! -f "/etc/mediawiki-extensions/extensions-available/$extension" ]; then
    echo "Extension does not exist !"
    exit 1
  fi
  if [ -f "/etc/mediawiki-extensions/extensions-enabled/$extension" ]; then
    echo "There is already a file at /etc/mediawiki-extensions/extensions-enabled/$extension !"
    exit 1
  fi
  ln -s "/etc/mediawiki-extensions/extensions-available/$extension" "/etc/mediawiki-extensions/extensions-enabled"
  echo "Extension $extension enabled !"
fi



exit 0