wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-12 09:58:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
463 commits 146 branches 0 tags 124 MiB
Commit graph

4 commits

Author SHA1 Message Date
Bartosz Dziewoński 515af82061 Reduce duplication between PHP parser and data gen for JS parser 
Also, make the handling of TranslateNumerals and digitsRegexp the same
between PHP and JS.

Change-Id: I1d81343d0b59ab3ecd59ba1c2ad99a729d983ac4
 2020-05-19 20:54:44 +02:00
Ed Sanders bc437fc43f PHP: More missing typehints 
Change-Id: I483c9e70b65dcd685436b4099bcfc4925c65b002
 2020-05-16 16:46:25 +01:00
Ed Sanders e6e0b1ead9 PHP: Add missing typehints 
Change-Id: I5639f8cbdae9aaa9cfa06136e19cc94f9fad10ea
 2020-05-15 22:04:47 +02:00
Ed Sanders b78fb3f4c1 Move all PHP to the MediaWiki\Extension\DiscussionTools namespace 
Change-Id: I654ebb3e646a6d8d62f7bd14d48805e39f836d7e
 2020-05-15 21:57:13 +02:00
Renamed from includes/DiscussionToolsData.php (Browse further)