This file is indexed.

/usr/share/mediawiki-extensions/graphviz/Graphviz.php is in mediawiki-extensions-graphviz 3.7.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
<?php
/*-
 * $Id: Graphviz.php 250 2011-04-12 11:57:37Z tg $
 *-
 * They changed the case of this file (not even in all places).
 */

require_once(dirname(__FILE__) . '/GraphViz.php');