Localisation updates from https://translatewiki.net.
[mediawiki.git] / includes / content / JavaScriptContentHandler.php
blob9abad3e22aef48589cff553ce71b45f95777aa53
1 <?php
2 /**
3 * This program is free software; you can redistribute it and/or modify
4 * it under the terms of the GNU General Public License as published by
5 * the Free Software Foundation; either version 2 of the License, or
6 * (at your option) any later version.
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
13 * You should have received a copy of the GNU General Public License along
14 * with this program; if not, write to the Free Software Foundation, Inc.,
15 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
16 * http://www.gnu.org/copyleft/gpl.html
18 * @file
21 /**
22 * Content handler for JavaScript pages.
24 * @todo Create a ScriptContentHandler base class, do highlighting stuff there?
26 * @since 1.21
27 * @ingroup Content
29 class JavaScriptContentHandler extends CodeContentHandler {
31 /**
32 * @param string $modelId
34 public function __construct( $modelId = CONTENT_MODEL_JAVASCRIPT ) {
35 parent::__construct( $modelId, [ CONTENT_FORMAT_JAVASCRIPT ] );
38 /**
39 * @return string
41 protected function getContentClass() {
42 return JavaScriptContent::class;
45 public function supportsRedirects() {
46 return true;
49 /**
50 * Create a redirect that is also valid JavaScript
52 * @param Title $destination
53 * @param string $text ignored
54 * @return JavaScriptContent
56 public function makeRedirectContent( Title $destination, $text = '' ) {
57 // The parameters are passed as a string so the / is not url-encoded by wfArrayToCgi
58 $url = $destination->getFullURL( 'action=raw&ctype=text/javascript', false, PROTO_RELATIVE );
59 $class = $this->getContentClass();
60 return new $class( '/* #REDIRECT */' . Xml::encodeJsCall( 'mw.loader.load', [ $url ] ) );