Fix some indentation and comments in mediawiki.Title, and make it depend on mediawiki...
authorRoan Kattouw <catrope@users.mediawiki.org>
Tue, 16 Aug 2011 15:32:08 +0000 (15:32 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Tue, 16 Aug 2011 15:32:08 +0000 (15:32 +0000)
commitc26e52d255629ed2b0f644f0b428a9e3760be64a
tree846ae1dd9dd838825cc3de29f88bd97b0c3509c6
parent062e2723ba438706d45ff98caddbcb0b8cb0b8ec
Fix some indentation and comments in mediawiki.Title, and make it depend on mediawiki.util
resources/Resources.php
resources/mediawiki/mediawiki.title.js