wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 23:44:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix php tag in SpecialDisplayNotificationsConfiguration.php

Browse source 
Change-Id: Ib95e906ae9659e7613cd78ae24225cc5e4350758
This commit is contained in:
Alangi Derick 2018-10-08 18:49:06 +01:00
parent 53ea4486fd
commit 873df84e49
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/special/SpecialDisplayNotificationsConfiguration.php
View file

@ -1,4 +1,4 @@
<?Php
<?php
class SpecialDisplayNotificationsConfiguration extends UnlistedSpecialPage {
/**