wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-09-23 10:19:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove shebang

Browse source 
Bug: T352680
Change-Id: Ica661d3fec81cd39812dce8f092e6c24d3e91224
This commit is contained in:
Mark A. Hershberger 2023-12-04 18:06:46 -05:00 committed by MarkAHershberger
parent 475ad71b4c
commit 0dcd7c769c
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
maintenance/replaceAll.php Executable file → Normal file
View file

@ -1,4 +1,3 @@
#!/usr/bin/php
<?php
/**
* Replace text in pages or page titles.