github
/
phpservermon
mirror of https://github.com/phpservermon/phpservermon
1
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #391 from tomhatzer/develop 

Add type ping to lang file
pull/395/head
Samuel Denis-D'Ortun 2016-12-23 08:19:57 -05:00 committed by GitHub
parent 5836e27659 3c961c8b91
commit 3118fdbdbc
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/lang/en_US.lang.php
View File

@ -135,6 +135,7 @@ $sm_lang = array(
'type' => 'Type', 'type' => 'Type',
'type_website' => 'Website', 'type_website' => 'Website',
'type_service' => 'Service', 'type_service' => 'Service',
'type_ping' => 'Ping',
'pattern' => 'Search string/pattern', 'pattern' => 'Search string/pattern',
'pattern_description' => 'If this pattern is not found on the website, the server will be marked offline. Regular expressions are allowed.', 'pattern_description' => 'If this pattern is not found on the website, the server will be marked offline. Regular expressions are allowed.',
'last_check' => 'Last check', 'last_check' => 'Last check',