Files F18096442

D12889.id31094.diff
No OneTemporary
Actions

Size

298 B

Referenced Files

None

Subscribers

None

D12889.id31094.diff
View Options

	diff --git a/scripts/build_xhpast.sh b/scripts/build_xhpast.php
	rename from scripts/build_xhpast.sh
	rename to scripts/build_xhpast.php
	--- a/scripts/build_xhpast.sh
	+++ b/scripts/build_xhpast.php
	@@ -1,4 +1,3 @@
	-#!/usr/bin/env php
	<?php

	require_once dirname(__FILE__).'/__init_script__.php';

File Metadata

Mime Type: text/plain
Expires: Sat, Aug 9, 6:57 AM (23 h, 49 m ago)
Storage Engine: blob
Storage Format: Encrypted (AES-256-CBC)
Storage Handle: 9074907
Default Alt Text: D12889.id31094.diff (298 B)

Event Timeline