mirror of
https://github.com/ParadiseSS13/Paradise.git
synced 2026-08-29 23:17:02 +01:00
GitHub action to check for DMI5 (#17881)
* GitHub action to check for DMI5 * Maybe? * bump * checkout first * Bumps some icons
This commit is contained in:
@@ -0,0 +1,14 @@
|
||||
name: Check for DMI5
|
||||
|
||||
on: pull_request_target
|
||||
|
||||
jobs:
|
||||
check-dmi5:
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
- uses: ParadiseSS13/DMI5Checker@v1
|
||||
with:
|
||||
icons-path: 'icons'
|
||||
|
||||
@@ -84,7 +84,7 @@ GLOBAL_VAR_INIT(admin_ooc_colour, "#b82e00")
|
||||
|
||||
if(donator_level > 0)
|
||||
if((prefs.toggles & PREFTOGGLE_DONATOR_PUBLIC))
|
||||
var/icon/donator = icon('icons/ooc_tag_16x.dmi', "donator")
|
||||
var/icon/donator = icon('icons/ooc_tag_16x.png')
|
||||
display_name = "[bicon(donator)][display_name]"
|
||||
|
||||
if(holder)
|
||||
@@ -131,7 +131,7 @@ GLOBAL_VAR_INIT(admin_ooc_colour, "#b82e00")
|
||||
|
||||
if(!check_rights(R_SERVER)) return
|
||||
|
||||
GLOB.normal_ooc_colour = DEFAULT_PLAYER_OOC_COLOUR
|
||||
GLOB.normal_ooc_colour = DEFAULT_PLAYER_OOC_COLOUR
|
||||
message_admins("[key_name_admin(usr)] has reset the default player OOC color")
|
||||
log_admin("[key_name(usr)] has reset the default player OOC color")
|
||||
|
||||
|
||||
Binary file not shown.
|
Before Width: | Height: | Size: 8.0 KiB After Width: | Height: | Size: 1.4 KiB |
|
Before Width: | Height: | Size: 983 B After Width: | Height: | Size: 983 B |
Reference in New Issue
Block a user