Jdlrobson has uploaded a new change for review.

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

Change subject: Correctly identify LocalSettings.php as php
......................................................................

Correctly identify LocalSettings.php as php

Dumb dumb dumb dumb

Change-Id: Ifbe4311ea6e38bea7e7664b97c1aea9de7bbda02
---
M tests/browser/LocalSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Gather 
refs/changes/32/233032/1

diff --git a/tests/browser/LocalSettings.php b/tests/browser/LocalSettings.php
index e9a0a71..186d99e 100644
--- a/tests/browser/LocalSettings.php
+++ b/tests/browser/LocalSettings.php
@@ -1 +1,2 @@
+<?php
 $wgMFEnableBeta = true;

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ifbe4311ea6e38bea7e7664b97c1aea9de7bbda02
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Gather
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to