wikimedia/mediawiki-extensions-TitleBlacklist
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TitleBlacklist synced 2024-11-24 14:14:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
965 commits 283 branches 5 tags 8.9 MiB
Commit graph

6 commits

Author SHA1 Message Date
Rafid Aslam eac33eeff6 Add phan configuration for static analysis 
Bug: T179554
Depends-On: I25beea963444b715bed7b2890475c0c812949520 
Change-Id: I83f9374b2f3236097860f4aecc694326b891905b
 2017-12-25 19:31:23 +00:00
Umherirrender 4ca30cdd6c Expand .gitignore for more editors 
List is from mediawiki/core

Change-Id: Ia8411b3ab318ad95282c874dfdff397c7984d0e6
 2016-11-13 13:22:58 +01:00
Antoine Musso 5ee20fcbab composer test entry point 
Just run php lint for now.

Change-Id: I2bbe7543588c25669e4d4a3958b66f3f79240ea5
 2015-11-23 22:04:20 +01:00
Kunal Mehta d0cc7ced03 build: Configure banana-checker and jsonlint 
Change-Id: I3fec2dd2a18fa5a7cdeef1b1e0a03ee11f2efe18
 2015-06-19 22:31:17 -07:00
Siebrand Mazeland 16f32456ad Maintenance for TitleBlacklist extension. 
* Use Message class.
* Remove trailing whitespace from 'titlewhitelist'.
* stylize.php.
* Update .gitignore.

Change-Id: Ie78fa25816808b0a695cc20630097326fb4cf705
 2012-09-18 15:57:57 +02:00
Reedy 2a6e155ec0 Add .gitignore 
Change-Id: Id644d971ff6b384c92fe75bb1a470d6ecb474b4a
 2012-05-21 01:48:51 +01:00