Code: engine/extensions.php. Bugfix related to sorting of extensions by priority.