wikimedia/mediawiki-extensions-PdfHandler
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler synced 2024-12-01 03:17:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
400 commits 11 branches 25 tags 5.4 MiB
Commit graph

3 commits

Author SHA1 Message Date
Siebrand Mazeland b4b4956dc4 Update indentation to use tabs 
Change-Id: Id17850e45382aa374aa43b2489a2e2fb837644a5
 2015-10-13 08:39:02 +02:00
Mark Holmquist f4f87cebcc Add warning about PDF files on the file page. 
Depends on I3c4b7af7284b5e16e458dd72de789e74db489895 in core.

Bug: T89765
Change-Id: I674bf7f6c1b21ffc9870aa84382479af5f966561
 2015-03-26 14:01:19 +01:00
Siebrand Mazeland 90562880a8 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Iaa3596f5bf98ace673f108c65d572454ee3fe642
 2014-03-28 12:19:22 +01:00