wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-24 06:43:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove copy of replaceAll.php

Browse source 
Change-Id: I22c9867b0d5d47d18f952d28076b21abe50dfcfd
This commit is contained in:
Yaron Koren 2021-10-07 21:21:44 +00:00
parent 4f90bb0735
commit 01ee50c8e8
1 changed files with 0 additions and 32 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
replaceAll.php
View file

@ -1,32 +0,0 @@
#!/usr/bin/php
<?php
/**
* Backwards-compatibility before the file was renamed
*
* Copyright © 2014 NicheWork, LLC
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
* http://www.gnu.org/copyleft/gpl.html
*
* @file
* @category Maintenance
* @package ReplaceText
* @author Mark A. Hershberger <mah@nichework.com>
* @license http://www.gnu.org/copyleft/gpl.html GPL-2.0-or-later
* @link https://www.mediawiki.org/wiki/Extension:Replace_Text
*
*/
require_once __DIR__ . '/maintenance/replaceAll.php';