wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-12 01:11:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use full <?php instead of short <? in ustring generation scripts

Browse source 
Change-Id: Ida6bc4ee1803763b284fdaa7c63769a146fec6ad
This commit is contained in:
Kunal Mehta 2015-03-17 18:16:20 -07:00
parent da44c9ed72
commit 3f5f3e247f
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
engines/LuaCommon/lualib/ustring/make-normalization-table.php
View file

@ -1,5 +1,5 @@
#!/usr/bin/php
<?
<?php
if ( PHP_SAPI !== 'cli' ) {
die( "This script may only be executed from the command line.\n" );

2
engines/LuaCommon/lualib/ustring/make-tables.php
View file

@ -1,5 +1,5 @@
#!/usr/bin/php
<?
<?php
if ( PHP_SAPI !== 'cli' ) {
die( "This script may only be executed from the command line.\n" );