Freeze break request for polari

[Florian Müllner <fmuellner gnome org>]

Hi,

I would like to request a freeze break for https://bugzilla.gnome.org/show_bug.cgi?id=780166. It is unfortunate that I only uncovered the bug after code freeze, but then the issue is quite sneaky:

Gjs was updated to a more recent version of the mozjs library which dropped some functions that were proposed-but-rejected for the Ecma standard. It turns out we are using one of those in Polari, and as a result the '/help' command no longer works. The attached patch fixes the issue by replacing the removed function with a standardized replacement - it is a one-line change that fixes the command, so I would like to get it in for the release.

Thanks,

Florian