Wikimedia

Have the convertExtensionToRegistration.php die on global functions

The convertExtensionToRegistration.php script currently dies if it finds a closure, since that can't be serialized to JSON. Similarly, global functions also do not work. We need to detect those, and emit an error message.

Patches should be submitted via Gerrit, more information can be found on https://phabricator.wikimedia.org/T122952.

Task tags

  • mediawiki
  • php
  • maintenance
  • script

Students who completed this task

Victor Barbu

Task type

  • code Code
close

2015