Erki 97c1343189 Deletable mirrors and indexing for faster searching (#4026) ...

Makes individual mirrors deletable as per admin request.
Adds indexes for queries in isbanned() to make them roll faster.

2017-12-31 14:28:00 +01:00

..

callproc

…

DB ban

Deletable mirrors and indexing for faster searching (#4026)

2017-12-31 14:28:00 +01:00

permissionverbs

…

secrets

Runtime Map Loading (#3597)

2017-10-18 23:07:34 +03:00

verbs

Added webhook implementation of discord integration (#3748)

2017-12-23 23:56:20 +02:00

view_variables

…

admin_attack_log.dm

…

admin_investigate.dm

…

admin_ranks.dm

…

admin_secrets.dm

…

admin_server_greeting.dm

…

admin_verbs.dm

Z-Mimic (#3907)

2017-12-30 04:42:18 +02:00

admin.dm

Added webhook implementation of discord integration (#3748)

2017-12-23 23:56:20 +02:00

banjob.dm

…

create_mob.dm

…

create_object.dm

…

create_turf.dm

…

holder2.dm

Runtime Map Loading (#3597)

2017-10-18 23:07:34 +03:00

ipintel.dm

…

IsBanned.dm

Deletable mirrors and indexing for faster searching (#4026)

2017-12-31 14:28:00 +01:00

map_capture.dm

Fixes to getFlatIcon and more. (#3353)

2017-09-19 15:43:01 +03:00

NewBan.dm

…

player_notes_sql.dm

…

player_notes.dm

…

player_panel.dm

…

topic.dm

Deletable mirrors and indexing for faster searching (#4026)

2017-12-31 14:28:00 +01:00