Sumanth V Rao 0ecf5d0e83 settings_playground: Add UI to list all playgrounds. ...

Adds a setting UI to list all configured playgrounds
in a realm. The filter functionality can be used to
search playgrounds by its name or language.

Default sort is provided on the 'pygments_language'
field.

Front tests added to maintain server_event_dispatch
coverage. The `settings_playgrounds.js` file is added
to coverage exclusion list since it is majorly UI
based and will be tested using puppeteer tests (in
following commits).

2021-04-19 12:54:59 -07:00

..

events.js

settings_playground: Add UI to list all playgrounds.

2021-04-19 12:54:59 -07:00