HomePhabricator

Add Extension.php to Extension

Authored by Peter Boehm <boehm@hallowelt.com> on Feb 27 2019, 4:03 PM.

Description

Add Extension.php to Extension

Missing Extension.php lead to error of JS loading in bookshelf

Due to ERM#7485
[3.1]

Change-Id: I634e411ddc3471e06ead44c69dcfa647f081521d