Skip to content

Commit

Permalink
Merge pull request #5565 from junichi11/regenerate-php-sigfiles-1.5
Browse files Browse the repository at this point in the history
Regenerate PHP signature files
  • Loading branch information
junichi11 authored Feb 27, 2023
2 parents 5043b05 + be7cf3b commit c097693
Show file tree
Hide file tree
Showing 4 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion php/php.project/external/binaries-list
Original file line number Diff line number Diff line change
Expand Up @@ -14,4 +14,4 @@
# KIND, either express or implied. See the License for the
# specific language governing permissions and limitations
# under the License.
4EA0C90D7EB03DEC5AC2AD19FE33C3A9F71AD790 phpsigfiles-1.4.zip
85671C8F8F936E1E66FC46D463ED290105A46EAC phpsigfiles-1.5.zip
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: phpsigfiles
Version: 1.4
Version: 1.5
Description: Signature files for PHP runtime and PHP runtime extensions for use from code completion etc. The file is build from the PHP manual.
License: CC-BY-3.0
Origin: http://www.php.net/docs.php
Expand Down
2 changes: 1 addition & 1 deletion php/php.project/nbproject/project.properties
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ javac.compilerargs=-Xlint:unchecked
javac.source=1.8
javadoc.arch=${basedir}/arch.xml

release.external/phpsigfiles-1.4.zip=docs/phpsigfiles.zip
release.external/phpsigfiles-1.5.zip=docs/phpsigfiles.zip
extra.module.files=docs/phpsigfiles.zip

test.config.stableBTD.includes=**/*Test.class
Expand Down

0 comments on commit c097693

Please sign in to comment.