[MediaWiki-commits] [Gerrit] Fix php short tags - change (operations/mediawiki-config)

2014-11-15 Thread Reedy (Code Review) 
Reedy has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/173489

Change subject: Fix php short tags
..

Fix php short tags

Change-Id: Ie5d691581ded0aefb940a415c3ed0218bbef1c74
---
M wmf-config/missing.php
1 file changed, 3 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/89/173489/1

diff --git a/wmf-config/missing.php b/wmf-config/missing.php
index 50b143a..90aed31 100644
--- a/wmf-config/missing.php
+++ b/wmf-config/missing.php
@@ -215,7 +215,7 @@
 /body
 /html
 
-?
+?php
 }
 
 /**
@@ -273,7 +273,7 @@
 /body
 /html
 
-?
+?php
 }
 
 /**
@@ -309,7 +309,7 @@
 /body
 /html
 
-?
+?php
 }
 
 /**

-- 
To view, visit https://gerrit.wikimedia.org/r/173489
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie5d691581ded0aefb940a415c3ed0218bbef1c74
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy re...@wikimedia.org

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] Fix php short tags - change (operations/mediawiki-config)

2014-11-15 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Fix php short tags
..


Fix php short tags

Change-Id: Ie5d691581ded0aefb940a415c3ed0218bbef1c74
---
M wmf-config/missing.php
1 file changed, 3 insertions(+), 3 deletions(-)

Approvals:
  Reedy: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/wmf-config/missing.php b/wmf-config/missing.php
index 50b143a..90aed31 100644
--- a/wmf-config/missing.php
+++ b/wmf-config/missing.php
@@ -215,7 +215,7 @@
 /body
 /html
 
-?
+?php
 }
 
 /**
@@ -273,7 +273,7 @@
 /body
 /html
 
-?
+?php
 }
 
 /**
@@ -309,7 +309,7 @@
 /body
 /html
 
-?
+?php
 }
 
 /**

-- 
To view, visit https://gerrit.wikimedia.org/r/173489
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie5d691581ded0aefb940a415c3ed0218bbef1c74
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy re...@wikimedia.org
Gerrit-Reviewer: Reedy re...@wikimedia.org
Gerrit-Reviewer: jenkins-bot 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits