mirror of
https://github.com/php/php-src.git
synced 2024-09-22 02:17:32 +00:00
be49d61b19
When the PHP source code was versioned in Subversion, there was possible to substitute certain keywords such as $Id$ with revision number, last change time and author name. Such approach is not used in Git so this patch removes these outdated artifacts from source code files.
7 lines
232 B
Batchfile
7 lines
232 B
Batchfile
@echo off
|
|
rem Generate phpts.def file, which exports symbols from our dll that
|
|
rem are present in some of the libraries which are compiled statically
|
|
rem into PHP
|
|
type ..\ext\sqlite\php_sqlite.def
|
|
type ..\ext\libxml\php_libxml2.def
|