mediawiki/phan-utils

Utilities for phan to be used in plugins, originally developed for taint-check-plugin

0.1.2 2020-05-22 12:11 UTC

Requires

• php: ^7.2.0
• phan/phan: ^2.6.1

Requires (Dev)

• mediawiki/mediawiki-codesniffer: 30.0.0
• mediawiki/minus-x: 1.1.0
• php-parallel-lint/php-console-highlighter: 0.5.*
• php-parallel-lint/php-parallel-lint: 1.2.0

GPL-2.0-or-later

• Brian Wolff
• Daimona Eaytoy

• php
• static
• analyzer
• phan

README

This repo contains some utilities that can be used when developing Phan plugins. This code was originally written as part of MediaWiki's taint-check.

Install

$ `composer require mediawiki/phan-utils`

Usage

Add use MediaWikiPhanUtils\MediaWikiPhanUtils to the visitor class. Note that the implementing class MUST have the following properties:

/**
 * @property \Phan\Language\Context $context
 * @property \Phan\CodeBase $code_base
 */

Additionally, the class SHOULD implement the following method:

protected function getLogChannel() : string

to specify the name of the channel used in debug logs.

Environment variables

You can use the PHAN_DEBUG variable to print debug information. The variable can take the name of a file (if running from shell, /dev/stderr is convenient), or - for stdout.

License

GNU General Public License, version 2 or later