jenkins-bot has submitted this change and it was merged.
Change subject: Replace php_sapi_name() with PHP_SAPI
......................................................................
Replace php_sapi_name() with PHP_SAPI
Change-Id: I6861ca68e195bce5573a756ddcde547d11588645
---
M lint.php
M stylize.php
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/lint.php b/lint.php
index 51444d0..e958e15 100755
--- a/lint.php
+++ b/lint.php
@@ -13,7 +13,7 @@
require_once( __DIR__ . '/includes/MwCodeUtilsArgs.php' );
-if ( php_sapi_name() != 'cli' ) {
+if ( PHP_SAPI != 'cli' ) {
echo "This script must be run from the command line\n";
exit( 1 );
}
diff --git a/stylize.php b/stylize.php
index 15786ea..8a1e67b 100755
--- a/stylize.php
+++ b/stylize.php
@@ -12,7 +12,7 @@
require_once( __DIR__ . '/includes/MwCodeUtilsArgs.php' );
-if ( php_sapi_name() != 'cli' ) {
+if ( PHP_SAPI != 'cli' ) {
echo "This script must be run from the command line\n";
exit( 1 );
}
--
To view, visit https://gerrit.wikimedia.org/r/91855
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6861ca68e195bce5573a756ddcde547d11588645
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/code-utils
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
