mirror of
https://github.com/php/php-src.git
synced 2025-08-18 06:58:55 +02:00

The $Id$ keywords were used in Subversion where they can be substituted with filename, last revision number change, last changed date, and last user who changed it. In Git this functionality is different and can be done with Git attribute ident. These need to be defined manually for each file in the .gitattributes file and are afterwards replaced with 40-character hexadecimal blob object name which is based only on the particular file contents. This patch simplifies handling of $Id$ keywords by removing them since they are not used anymore.
40 lines
1.6 KiB
C
40 lines
1.6 KiB
C
/*
|
|
+----------------------------------------------------------------------+
|
|
| PHP Version 7 |
|
|
+----------------------------------------------------------------------+
|
|
| Copyright (c) 1997-2018 The PHP Group |
|
|
+----------------------------------------------------------------------+
|
|
| This source file is subject to version 3.01 of the PHP license, |
|
|
| that is bundled with this package in the file LICENSE, and is |
|
|
| available through the world-wide-web at the following url: |
|
|
| http://www.php.net/license/3_01.txt |
|
|
| If you did not receive a copy of the PHP license and are unable to |
|
|
| obtain it through the world-wide-web, please send a note to |
|
|
| license@php.net so we can mail you a copy immediately. |
|
|
+----------------------------------------------------------------------+
|
|
| Authors: Keyur Govande <kgovande@gmail.com> |
|
|
+----------------------------------------------------------------------+
|
|
*/
|
|
|
|
#ifndef PS_TITLE_HEADER
|
|
#define PS_TITLE_HEADER
|
|
|
|
#define PS_TITLE_SUCCESS 0
|
|
#define PS_TITLE_NOT_AVAILABLE 1
|
|
#define PS_TITLE_NOT_INITIALIZED 2
|
|
#define PS_TITLE_BUFFER_NOT_AVAILABLE 3
|
|
#define PS_TITLE_WINDOWS_ERROR 4
|
|
|
|
extern char** save_ps_args(int argc, char** argv);
|
|
|
|
extern int set_ps_title(const char* new_str);
|
|
|
|
extern int get_ps_title(int* displen, const char** string);
|
|
|
|
extern const char* ps_title_errno(int rc);
|
|
|
|
extern int is_ps_title_available();
|
|
|
|
extern void cleanup_ps_args(char **argv);
|
|
|
|
#endif // PS_TITLE_HEADER
|