This file is indexed.

/usr/bin/doctrine is in php-doctrine-orm 2.4.6-1+deb8u1.

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

The actual contents of the file can be viewed below.

1
2
3
4
#!/usr/bin/env php
<?php

include('doctrine.php');