directory /core/modules/editor/src/Plugin/ @ 19:fa3358dc1485 tip

name size permissions
[up] drwxr-xr-x
dir. Filter/ drwxr-xr-x
dir. InPlaceEditor/ drwxr-xr-x
file EditorBase.php 2355 -rw-r--r--
file EditorManager.php 3211 -rw-r--r--
file EditorPluginInterface.php 2605 -rw-r--r--