wikimedia/mediawiki-extensions-CiteThisPage

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-12-21 19:42:38 +00:00

Commit graph

Author	SHA1	Message	Date
Marius Hoch	847a09be11	Refactor Cite extension JavaScript and make it pass Jshint Moved the scripts and the CSS into the modules folder directly (like almost all other extensions do), added a .jshintrc to not have jenkins shout at this change and minor stuff. After this change Cite will no longer work with anything older than PHP 5.3! Change-Id: I1c87af794f2a9894fb0d82a5bd97bd2182f028e1	2013-08-25 22:23:15 +02:00

Author

SHA1

Message

Date

Marius Hoch

847a09be11

Refactor Cite extension JavaScript and make it pass Jshint

Moved the scripts and the CSS into the modules folder directly
(like almost all other extensions do), added a .jshintrc to not have
jenkins shout at this change and minor stuff.

After this change Cite will no longer work with anything older than
PHP 5.3!

Change-Id: I1c87af794f2a9894fb0d82a5bd97bd2182f028e1

2013-08-25 22:23:15 +02:00

1 commit