directory /core/modules/ban/src/ @ 19:fa3358dc1485 tip

name size permissions
[up] drwxr-xr-x
dir. Form/ drwxr-xr-x
dir. Plugin/ migrate drwxr-xr-x
file BanIpManager.php 1421 -rw-r--r--
file BanIpManagerInterface.php 1056 -rw-r--r--
file BanMiddleware.php 1384 -rw-r--r--