This file is indexed.

/usr/share/mediawiki-extensions/graphviz/GraphViz.i18n.php is in mediawiki-extensions-graphviz 2.5.

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
 9
10
11
12
13
14
15
16
17
18
19
20
<?php

/**
 * Internationalization file for the GraphViz extension.
 *
 * @file GraphViz.i18n.php
 * @ingroup GraphViz
 *
 * @author Jeroen De Dauw < jeroendedauw@gmail.com >
 */

$messages = array();

/** English
 * @author Jeroen De Dauw
 */
$messages['en'] = array(
	'graphviz-desc' => '[http://www.graphviz.org Graphviz] is a program/language that allows the creation of numerous types of graphs.
fThis extension allows the embedding of graphviz markup in MediaWiki pages and generates inline images to display.',
);