mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-24 06:54:00 +00:00
Bump mediawiki-phan-config to 0.8.0
This managed to catch a few bugs where there is likely coverage gaps. The regenerated plugin list again comments out a few that generated too much noise but may be worthwhile follow ups. Change-Id: I746abd0f1406b4b7ffa497afdad3939fe437c25d
This commit is contained in:
parent
d55a8db4e4
commit
22832c1d41
|
@ -56,6 +56,7 @@ class Cite implements Extension {
|
|||
*
|
||||
* @param Env $env
|
||||
* @param DOMNode $body
|
||||
* @suppress PhanEmptyPrivateMethod
|
||||
*/
|
||||
private static function html2wtPreProcessor( Env $env, DOMNode $body ) {
|
||||
// TODO
|
||||
|
|
Loading…
Reference in a new issue