Skip to content

Commit

Permalink
Fix syntax
Browse files Browse the repository at this point in the history
  • Loading branch information
AgentIsai authored Oct 17, 2024
1 parent 2d6379d commit e144b40
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 2 deletions.
3 changes: 2 additions & 1 deletion DeletedWiki.php
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

use MediaWiki\MediaWikiServices;

if ( MW_ENTRY_POINT !== 'cli ) {
if ( MW_ENTRY_POINT !== 'cli' ) {
http_response_code( 410 );

$output = <<<EOF
Expand Down Expand Up @@ -41,6 +41,7 @@
EOF;
header( 'Content-length: ' . strlen( $output ) );
echo $output;

die( 1 );
} else {
// $wgDBname will always be set to a string, even if the --wiki parameter was not passed to a script.
Expand Down
5 changes: 4 additions & 1 deletion MissingWiki.php
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
<?php

if ( MW_ENTRY_POINT !== 'cli ) {
use MediaWiki\MediaWikiServices;

if ( MW_ENTRY_POINT !== 'cli' ) {
http_response_code( 404 );

$output = <<<EOF
Expand Down Expand Up @@ -39,6 +41,7 @@
EOF;
header( 'Content-length: ' . strlen( $output ) );
echo $output;

die( 1 );
} else {
// $wgDBname will always be set to a string, even if the --wiki parameter was not passed to a script.
Expand Down

0 comments on commit e144b40

Please sign in to comment.